Logic symbols

123456789101112
Across
  1. 2. exists, ∃
  2. 4. quote, x'
  3. 5. &
  4. 9.
  5. 11. +
  6. 12. caret, ∨
Down
  1. 1. line, |
  2. 2.
  3. 3. ¬
  4. 6. plus, exclusive or - xor
  5. 7. x
  6. 8. negation
  7. 10. all, ∀