UNICODE:
0000-1000:  ½   ÷   ²  ³  ¹   ¼  Å  ØC ÷  ø  ħ  ƒ  Φ  Ψ  Δ  α ...ώ  π
8200-9000:  †  ‡ •  ‰  ′   ″   ‾   ⁄  ℓ  ™  Ω   ℮  ⅓  ⅔  ⅛  ⅜  ⅝  ⅞ ←
                     ← ↑  →  ↓  ↔  ↕  ↨   ∂   ∆   ∏   −   √    ∫  ∑   ∂    ∕    ∞
                     ∩   ≈   ≠   ≡  ≤   ≥   ⌂   ⌐  ⌠
                     │┌  ┐└   ┘├   ┤┬  ┴  ╪  ╬  ► ☺  ♥  ♫  ♂  ♀

many signs of logical formalism are not implemented in browser Explorer 6.0
Use  ipg-pics (mousover shows meaning):  impliziert    x-Menge enthält y    ist Element der Menge    Ist nicht Element der Menge    für jedes x gilt F   für alle x gilt   oder auch (Adjunktion)  existiert   x geht hervor aus y         

choose the Unicode-numbers you want to see: 

Start with character nr.: How many characters?: