Set theory symbols

1234567891011121314
Across
  1. 2. U
  2. 5. ℵ1
  3. 9.
  4. 10. {}
  5. 11.
  6. 12.
  7. 13. Ac
Down
  1. 1. |A|
  2. 3. 2A
  3. 4. A ⊄ B
  4. 6.
  5. 7. =
  6. 8.
  7. 10. A ⊆ B
  8. 14. (x, y)