ℕǿ x ₣∑Ⱥℝ