Logic Symbols

123456789101112131415
Across
  1. 2. ⇔
  2. 4. all ∀
  3. 6. quote x'
  4. 7. mark !
  5. 9. plus ⊕
  6. 11. ~
  7. 12. &
  8. 14. ⇒
  9. 15. ∵
Down
  1. 1. ¬
  2. 3. line |
  3. 5. exists ∃
  4. 8. ∴
  5. 9. ^
  6. 10. caret ∨
  7. 12. ⋅
  8. 13. +