Add ⇝ , ‼ , ∧ , ∨ , ↠ , ↞ , ∪ , ∩ , ¬ , ×