2025-05-31 20:44:18 -05:00
|
|
|
|
{ matchHelper, ... }:
|
|
|
|
|
|
[
|
|
|
|
|
|
(matchHelper ":neg" "¬")
|
|
|
|
|
|
(matchHelper ":conj" "∧")
|
|
|
|
|
|
(matchHelper ":disj" "∨")
|
|
|
|
|
|
(matchHelper ":imp" "→")
|
2025-06-01 14:55:05 -05:00
|
|
|
|
(matchHelper ":iff" "↔")
|
2025-05-31 20:44:18 -05:00
|
|
|
|
(matchHelper ":forall" "∀")
|
|
|
|
|
|
(matchHelper ":exist" "∃")
|
|
|
|
|
|
(matchHelper ":therefore" "∴")
|
2025-06-01 14:55:05 -05:00
|
|
|
|
(matchHelper ":because" "∵")
|
|
|
|
|
|
(matchHelper ":nexist" "∄")
|
|
|
|
|
|
(matchHelper ":nand" "⊼")
|
|
|
|
|
|
(matchHelper ":nor" "⊽")
|
|
|
|
|
|
(matchHelper ":xor" "⊕")
|
|
|
|
|
|
(matchHelper ":xnor" "⊙")
|
|
|
|
|
|
(matchHelper ":notimp" "↛")
|
|
|
|
|
|
(matchHelper ":notiff" "↮")
|
|
|
|
|
|
(matchHelper ":models" "⊨")
|
|
|
|
|
|
(matchHelper ":notmodels" "⊭")
|
|
|
|
|
|
(matchHelper ":proves" "⊢")
|
|
|
|
|
|
(matchHelper ":notproves" "⊬")
|
|
|
|
|
|
(matchHelper ":forces" "⊩")
|
|
|
|
|
|
(matchHelper ":notforces" "⊮")
|
|
|
|
|
|
(matchHelper ":top" "⊤")
|
|
|
|
|
|
(matchHelper ":bottom" "⊥")
|
|
|
|
|
|
(matchHelper ":dashv" "⊣")
|
|
|
|
|
|
(matchHelper ":necessary" "□")
|
|
|
|
|
|
(matchHelper ":possible" "◇")
|
2025-05-31 20:44:18 -05:00
|
|
|
|
]
|
