Logic symbols

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