𝕋𝕆𝕂𝕐𝕆 ℝ𝔼𝕍𝔼ℕ𝔾𝔼ℝ𝕊 × { 𝚁𝙴𝙰𝙳𝙴𝚁 }