Popular special symbols for CS 536
2023-01-09

You're welcome to copy/paste these symbols into your homework solutions.

Arrows	← → ↔ ⇐ ⇒ ⇔ ↦
Greek	α β γ δ ε ζ η θ ι κ λ μ ν ξ ο π ρ σ τ υ φ χ ψ ω
GREEK	A B Γ Δ E Z H Θ I K Λ M N Ξ O Π P Σ T Υ X Ψ Φ 
Letters	ℕ ℚ ℝ ℤ 
Logic	∧ ∨ ∀ ∃ ⊢ ⊨ ⊬ ⊭
Relations	≠ ≡ ≢ 
Set Thy	∅ ∪ ∩ ∊ ⊆ ⊇ ⊂ ⊃

Etc.	‖ (parallel pgms), ☐ ➞ (nondeterministic pgms)