≝π∅∢βΔℵ⨂∾∃Ξαℚ∀ξΨ⊻ΓΘ∮∈𝜱ℝ√≼⊆⫸∂∑∞