SET THEORY

123456789101112131415
Across
  1. 3.
  2. 5. quote, x'
  3. 6. x
  4. 7.
  5. 8. all, ∀
  6. 11. ~
  7. 13. ^
  8. 14.
  9. 15.
Down
  1. 1. +
  2. 2. line, |
  3. 4.
  4. 9. caret, ∨
  5. 10. plus, ⊕
  6. 12. &