Symbols

Ø        ∈        =        ∀        ∃           ¬        ∧         ∨       ⇒       ⇔       (         )        [          ]        {        }    
    
⊢        ⊨        ⊥        ≺        ≈        ⟶       ↦        ⊂        ⊆        ⋂      ⋃                ℕ        ℚ        ℤ        ℝ  

      ℂ

ALL SYMBOLS NOT LISTED ABOVE ARE VARIABLES

No comments:

Post a Comment