From The Compiler, 6 Years ago, written in Plain Text.
Embed
  1. # arrows
  2. rightto rightarrow -> →
  3. uparrow ↑
  4. downarrow ↓
  5. leftrightarrow <-> ↔
  6. doubleleftarrow <= ⇐
  7. doublerightarrow => ⇒
  8. doubleuparrow ⇑
  9. doubledownarrow ⇓
  10. leftto leftarrow <- ←
  11.  
  12. # equal
  13. neq not equal != ≠
  14. le lower equal <= ≤
  15. ge greater equal >= ≥
  16. ungefähr about approx ~= ≈
  17.  
  18. # special sets
  19. setZ setz ℤ
  20. setQ setq rational ℚ
  21. setR setr real ℝ
  22. setN setn natural ℕ
  23. setD setd definition domain