Logic Symbols

123456789101112131415
Across
  1. 3. ¬
  2. 5. caret
  3. 7. &
  4. 8. | line
  5. 11. x' quote
  6. 12.
  7. 14.
  8. 15. +
Down
  1. 1.
  2. 2. there ∃
  3. 4.
  4. 6. ∨ caret
  5. 9.
  6. 10. ! mark
  7. 13. ~ negation