ℙℝℕℕ ℝℝ ℂ         ℝ ℝℝ  [With Context]     ℝ   ℝℕ ℝℝ    ...