AoRiseTn
[
ℕ
ℝ
ℂ
⧜
]