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   u2208 \342\210\210
π 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 contains (left horse shoe) top 4   u2282 \342\212\202
⊃ 021 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 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
← 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     u2408  
} 176 right curly bracket  top P   u007d  
␈ BS 177 ␈ Back Space as BS symbol     u2387  
<   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. On 2009 keyboards, TOP is mapped into the Windows logo key and META is labeled ALT. At SAIL the ALT key entered a character code, octal 175, is represented by the UNICODE u2408 named Alternative Key Symbol.