SAIL CHARACTER SET

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 &lt;    
> 076 HTML tag right delimiter &gt;    
& 046 HTML character escape &amp;    

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