SAIL CHARACTER SET

Glyph Octal Name Key HTML Unicode UTF-8
↓ 001 down arrow top :   u2193 \342\206\223
α 002 alpha top Z α u03b1 \316\261
β 003 beta top X β u03b2 \316\262
∧ 004 boolean AND top Q   u2227 \342\210\247
¬ 005 boolean NOT top -   u00ac \302\254
ε 006 epsilon top C ε u03b5 \316\265
π 007 pi top B   u03c0 \317\200
λ 010 lambda top V   u03bb \316\273
  011 horizontal tab whitespace        
  012 new line whitespace        
  013 vertical tab whitespace        
␌ FF 014 form feed as FF symbol        
  015 carriage return whitespace        
∞ 016 infinity (lazy eight) top \ ∞ u221e \342\210\236
∂ 017 partial differential  top /   u2202 \342\210\202
⊂ 020 subset ⊂ contains (left horse shoe) top 4 ⊂ u2282 \342\212\202
⊃ 021 superset ⊃implies (right horse shoe) top 5 ⊃ u2283 \342\212\203
∩ 022 intersection top 2 ∩ u2229 \342\210\251
∪ 023 union  top 3 ∪ u222a \342\210\252
∀ 024 for all  top N ∀ u2200 \342\210\200
∃ 025 there exists top M ∃ u2203 \342\210\203
⊗ 026 Circled Times ⊗ Boolean XOR top * ⊗ u2297 \342\223\247
↔ 027 horizontal double arrow top L   u2194 \342\206\224
_ 030 underscore top 9   u005f \030
→ 031 right arrow  top K   u2192 \342\206\222
~ 032 tilde top 8   u007e \032
≠ 033 not equal top G  ≠ u2260 \342\211\240
≤ 034 less than or equal top A  ≤ u2264 \342\211\244
≥ 035 greater than or equal top S ≥ u2265 \342\211\245
≡ 036 equivalence top 1 ≡  u2261 \342\211\241
∨ 037 Boolean OR top W  ∨  u2228 \342\210\250
↑ 136 up arrow top ;   u2191 \342\206\221
← 137 left arrow top J   u2190 \342\206\220
{ 173 left curly bracket top O   u007b  
|  174 vertical bar top +   u007c  
⎇ ALT 175 Alt Mode character (top Esc)   u2387  
} 176 right curly bracket  top P   u007d  
␈ BS␈ 177 Rubout ␈ Backspace as BS symbol     u2408  
<   HTML tag left delimiter top D &lt;    
>   HTML tag right delimiter top F &gt;    
&   HTML character escape top T &amp;    

The SAILDART text data is encoded into UTF8 mapped from the incompatible Stanford seven bit ASCII as given in this table. The SAIL keyboards had a shift key named TOP which was used to enter the special characters. An additional shift key was named META. There was also the familiar CTRL shift key. At SAIL the ALT key entered a character code, octal 175, which is represented by the UNICODE u2387 named Alternative Key Symbol.
Minor correction made December 2012: The Unicode epsilon character, ε u03b5, had been incorrectly shown in this table as the element-of, ∈ u2208, character; however undart conversion of SAIL text files into UTF-8 has been the correct epsilon, ε u03b5, for several years now. Further corrections Feb 2013: the up arrow line had been missing, the altmode line u2387 was incorrect.