(newer browsers may have a better UNICODE font rendering)
| Glyph |
Octal |
Name |
HTML |
Unicode |
UTF-8 |
| â |
001 |
downarrow |
|
u2193 |
\342\206\223 |
| α |
002 |
alpha |
α |
u03b1 |
\316\261 |
| β |
003 |
beta |
β |
u03b2 |
\316\262 |
| ⧠|
004 |
boolean AND |
|
u2227 |
\342\210\247 |
| ¬ |
005 |
boolean NOT |
|
u00ac |
\302\254 |
| â |
006 |
epsilon |
|
u2208 |
\342\210\210 |
| Ï |
007 |
pi |
|
u03c0 |
\317\200 |
| λ |
010 |
lambda |
|
u03bb |
\316\273 |
| â |
016 |
infinity ( lazy eight ) |
∞ |
u221e |
\342\210\236 |
| â |
017 |
partial differential |
|
u2202 |
\342\210\202 |
| â |
020 |
contains (left horse shoe) |
|
u2282 |
\342\212\202 |
| â |
021 |
implies (right horse shoe) |
|
u2283 |
\342\212\203 |
| â© |
022 |
intersection |
∩ |
u2229 |
\342\210\251 |
| ⪠|
023 |
union |
∪ |
u222a |
\342\210\252 |
| â |
024 |
for_all |
∀ |
u2200 |
\342\210\200 |
| â |
025 |
there_exists |
∃ |
u2203 |
\342\210\203 |
| ⧠|
026 |
xor ( circle lowercase x ) |
|
u24E7 |
\342\223\247 |
| â |
027 |
horizontal double arrow |
|
u2194 |
\342\206\224 |
| _ |
030 |
underscore |
|
u005f |
\030 |
| â |
031 |
right_arrow |
|
u2192 |
\342\206\222 |
| ~ |
032 |
tilde |
|
u007e |
\032 |
| â |
033 |
not_equal |
≠ |
u2260 |
\342\211\240 |
| ⤠|
034 |
less_than_or_equal |
≤ |
u2264 |
\342\211\244 |
| ⥠|
035 |
greater_than_or_equal |
≥ |
u2265 |
\342\211\245 |
| â¡ |
036 |
equivalence |
≡ |
u2261 |
\342\211\241 |
| ⨠|
037 |
boolean_OR; |
∨ |
u2228 |
\342\210\250 |
| â |
137 |
left arrow |
|
u2190 |
\342\206\220 |
| { |
173 |
left curly bracket |
|
u007b |
|
| | |
174 |
vertical bar |
|
u007c |
|
| } |
176 |
right curly bracket |
|
u007d |
|
| < |
|
HTML left escape |
< |
|
|
| > |
|
|
> |
|
|
| & |
|
|
& |
|
|
| " |
|
|
|
|
|