The SAILDART text conversion into HTML for web site display
completely omits NUL, VT, RETURN, STANFORD_ALT and RUBOUT characters;
at the SAIL seven-bit octal code points \000, \013, \015, \0175 and \0177.
The seven-bit whitespace codes for horizontal tab, newline, formfeed and space
at code points \011, \012, \014 and \040 have exactly the same numeric value in eight bit UTF8.
The code points \074, \076 and \046 are translated into HTML character entity strings
<, > and &.
Glyph | Octal | Name | HTML | Unicode | UTF-8 |
000 | null character | u0000 | |||
↓ | 001 | down arrow | 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 | ε | u03b5 | \316\265 |
π | 007 | pi | u03c0 | \317\200 | |
λ | 010 | lambda | u03bb | \316\273 | |
011 | horizontal tab whitespace | ||||
012 | new line whitespace | ||||
013 | vertical tab whitespace | ||||
014 | form feed as FF symbol ␌ | ||||
015 | carriage return whitespace | ||||
∞ | 016 | infinity (lazy eight) | ∞ | u221e | \342\210\236 |
∂ | 017 | partial differential | u2202 | \342\210\202 | |
⊂ | 020 | subset ⊂ contains (left horse shoe) | ⊂ | u2282 | \342\212\202 |
⊃ | 021 | superset ⊃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 | Circled Times ⊗ Boolean XOR | ⊗ | u2297 | \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 |
040 | space | ||||
↑ | 136 | up arrow | u2191 | \342\206\221 | |
← | 137 | left arrow | u2190 | \342\206\220 | |
{ | 173 | left curly bracket | u007b | ||
| | 174 | vertical bar | u007c | ||
175 | Stanford alt mode character § u00a7 | ||||
} | 176 | top P | u007d | ||
177 | Rubout, Backspace as BS symbol ␈ | u2408 | |||
< | 074 | HTML tag left delimiter | < | ||
> | 076 | HTML tag right delimiter | > | ||
& | 046 | HTML character escape | & |
updated 2020-02-18
previous version of this page is at 2007-07-07
Further details are available documenting the hardware used in the 1970s
to print these characters on paper (LPT, XGP, Calcomp),
to display them on terminals (III, DD, IMLAC),
and to input the codes with special Stanford keyboards and a custom built keyboard scanner.
Here is a contemporary May 1976 table of the SAIL ASCII that is found on
page #46 of SAILON #74 Find-A-Font