{ matchHelper, ... }:
[
  (matchHelper ":neg" "¬")
  (matchHelper ":conj" "∧")
  (matchHelper ":disj" "∨")
  (matchHelper ":imp" "→")
  (matchHelper ":bicon" "↔")
  (matchHelper ":forall" "∀")
  (matchHelper ":exist" "∃")
  (matchHelper ":therefore" "∴")
]