github.com/PDP-10.its
1
0
Fork 0
mirror of https://github.com/PDP-10/its.git synced 2026-02-24 08:12:12 +00:00
Code Issues Releases Wiki Activity

Document the ITS character set.

Browse Source
This commit is contained in:
Lars Brinkhoff
2017-03-02 09:54:35 +01:00
parent ee135ab2ec
commit a039ad4212
1 changed files with 36 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

36
doc/_info_/char.its Normal file
View File

@@ -0,0 +1,36 @@
ITS character set. It's similar to the SAIL character set, but not
identical. These are the exceptions to standard ASCII.
^@ centered dot
^A downarrow
^B alpha
^C beta
^D logical and
^E logical not
^F epsilon
^G pi
^H lambda
^I gamma
^J delta
^K uparrow
^L plus-minus
^M circle-plus
^N infinity
^O partial delta
^P subset of
^Q contains
^R intersect
^S union
^T for all
^U there exists
^V circle-X
^W equivalence (two way arrow)
^X back arrow
^Y forward arrow
^Z not equal (=/)
^[ lozenge (diamond)
^\ less than or equal
^] greater than or equal
^^ equivalence (three bars)
^_ logical or
^? integral