# mixed
≡´⟨+,1⟩ # 0
≡´⟨¨,1⟩ # 0
≡´⟨⚇,1⟩ # 0
≡´⟨+,⚇⟩ # 0
≡´⟨¨,⚇⟩ # 0
≡´⟨+,¨⟩ # 0

# fns
≡´⟨+,+⟩ # 1
≡´⟨+,-⟩ # 0
F←{𝕩}         ⋄ f≡f # 1
F←{𝕩} ⋄ G←{𝕩} ⋄ f≡g # 0


# trains
≡´⟨+-×,+-×⟩ # 1
≡´⟨+-×,+-÷⟩ # 0
≡´⟨+-×,++×⟩ # 0
≡´⟨+-×,--×⟩ # 0
≡´⟨+-,+-⟩ # 1
≡´⟨+-,--⟩ # 0
≡´⟨+-,++⟩ # 0
≡´⟨·+-,+-⟩ # 1

# 1-modifiers
≡´⟨¨,¨⟩ # 1
≡´⟨˝,´⟩ # 0
≡´⟨-´,-´⟩ # 1
≡´⟨-´,-˝⟩ # 0
≡´⟨+¨,-¨⟩ # 0
_f←{𝔽𝕩}           ⋄ f≡f # 1
_f←{𝔽𝕩} ⋄ _g←{𝔽𝕩} ⋄ f≡g # 0

# 2-modifiers
≡´⟨∘,∘⟩ # 1
≡´⟨∘,⟜⟩ # 0
≡´⟨-∘+,-∘+⟩ # 1
≡´⟨-∘+,-⟜+⟩ # 0
≡´⟨-∘+,+∘+⟩ # 0
≡´⟨-∘+,-∘-⟩ # 0
≡´⟨-∘+,-(∘+)⟩ # 1
≡´⟨-∘+,-(⟜+)⟩ # 0
≡´⟨-∘+,-(∘-)⟩ # 0
≡´⟨-∘+,+(∘+)⟩ # 0
≡´⟨∘+,∘+⟩ # 1
≡´⟨∘+,⟜+⟩ # 0
≡´⟨∘+,∘-⟩ # 0
_f_←{𝔽𝔾𝕩}             ⋄ f≡f # 1
_f_←{𝔽𝔾𝕩} ⋄ _g_←{𝔽𝔾𝕩} ⋄ f≡g # 0
_f_←{𝔽𝔾𝕩}             ⋄ ≡´⟨_f_-,_f_-⟩ # 1
_f_←{𝔽𝔾𝕩}             ⋄ ≡´⟨_f_-,_f_+⟩ # 0
_f_←{𝔽𝔾𝕩} ⋄ _g_←{𝔽𝔾𝕩} ⋄ ≡´⟨_f_-,_g_-⟩ # 0