𝕂ℍ𝔼ℕ ⇆ 𝔸ℝℂ