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