# Fold
∧´ {𝕩≡𝕎´⟨⟩}´¨ ⟨+‿0,-‿0,×‿1,÷‿1,∨‿0,∧‿1⟩
∧´ {𝕩≡𝕎´⟨⟩}´¨ ⟨⋆‿1,¬‿1,⌊‿∞,⌈‿¯∞⟩
∧´ {𝕩≡𝕎´⟨⟩}´¨ ⟨≠‿0,=‿1,>‿0,≥‿1⟩
! % √´↕0
! % |´↕0
! % ⊢´""
! % ⊣´""
! % ∾´⟨⟩
! % ≍´⟨⟩

# Insert
∧´ {(3‿1⥊𝕩)≡𝕎˝0‿3‿1⥊""}´¨ ⟨+‿0,-‿0,×‿1,÷‿1,∨‿0,∧‿1,⋆‿1,¬‿1,⌊‿∞,⌈‿¯∞,≠‿0,=‿1,>‿0,≥‿1⟩
! % ∾˝""
(∾˝(↕5)⥊"") ≡ (≠⟜1⊸/↕5)⥊""
(∾˝¨≡⥊¨) (≍⥊0˙)⌜˜0‿2‿5
! % ⌽˝0‿3⥊⟨⟩