⟦Ψ⟧≜∐⁻¹(Σ⧺ϑ⧺Δ⧺ϑ⧺Γ⧺ϑ⧺Λ)⊨🜃

⊢ ϑ ≔ ②⁵
⊢ Σ ≔ ⟨②·⑦²⁙①⓪①⁙②·③·⑲⁙⑤·㉓⟩
⊢ Δ ≔ ⟨②·③·⑲⟩
⊢ Γ ≔ ⟨⑤·㉓⁙③·㊲⟩
⊢ Λ ≔ ⟨②·③·⑰⁙⑨·⑬⁙①⓪⑦⟩

∐⁻¹ ≔ ω ↦ 𝕌(ω)
🜃 ≡ ⧺(∐⁻¹∘(Σ‿ϑ‿Δ‿ϑ‿Γ‿ϑ‿Λ))

⊨ 𝔛 ≡ 🜃 ⇔ ∑ᵢ𝔛ᵢ ≡ ⑬⑥⑧
  ∧ 𝔛₀⊕𝔛₃ ≡ ⓪
  ∧ ‖𝔛‖ ≡ ①②
  ∧ ℍ(𝔛) ≔ ⟨⓪⓪,②⑤,⓪④,①⑧,⓪⓪,⓪②,
              ⓪⓪,⓪④,⓪①,⓪⓪,⑧⓪,④⑤⟩₁₆