Stanford character set.
These are the exceptions to standard ASCII.
5.10.72 z = 749
^A downarrow
^B alpha
^C beta
^D carat (logical and)
^E not
^F epsilon
^G pi
^H lambda
^I tab
^J line feed
^K vertical tab
^L form feed
^M return
^N infinity (two dots)
^O del
^P subset of
^Q contains
^R intersect
^S union
^T for all
^U there exists
^V exclusive or (plus with a circle around it)
^W equivalence (two way arrow)
^X underbar (note that backarrow is like old ascii and =/ ^X)
^Y forward arrow
^Z end of file
^[ not equal (=/)
^\ less than or equal
^] greater than or equal
^^ equivalence (three bars)
^_ down-carat (logical or)
^ is up-arrow, not carat
_ is backarrow, not underbar
} is altmode, not right brace
~ is right brace, not 'not'