SAIL CHARACTER SET TEST

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 &lt;    
>     &gt;    
&     &amp;    
"          

A superscript PREFIX to indicate that high-order (eighth bit) is on an ASCII numeral.
0000¹0
0010¹1
0020¹2
0030¹3
0040¹4
0050¹5
0060¹6
0070¹7
0080¹8
0090¹9
The SAIL data on the CD is HTML for browsing, with a charset as follows: 
<HEAD>
<META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=UTF-8">
</HEAD>