| char | ! | char |
| char | ! | denotation ** nat -> char |
| char | ! | denotation -> char |
| char | ! | string ** nat -> char |
| char | # | char |
| char | $ | char |
| char | % | char |
| char | & | char |
| char | * | char |
| char | + | char |
| char | - | char |
| char | - | char ** char -> char -> bool |
| char | .. | nat ** nat -> (nat -> char) -> string |
| char | / | (char ** char -> char) ** string -> char |
| char | / | char |
| char | 0 | char |
| char | 1 | char |
| char | 2 | char |
| char | 3 | char |
| char | 4 | char |
| char | 5 | char |
| char | 6 | char |
| char | 7 | char |
| char | 8 | char |
| char | 9 | char |
| char | ; | char |
| char | < | char |
| char | = | char |
| char | > | char |
| char | ? | char |
| char | @ | char |
| char | \ | (char ** char -> char) ** string -> char |
| char | \ | char |
| char | ^ | char |
| char | A | char |
| char | a | char |
| char | Aacute | char |
| char | aacute | char |
| char | accent | char |
| char | Acircumflex | char |
| char | acircumflex | char |
| char | acuteAccent | char |
| char | Adiaeresis | char |
| char | adiaeresis | char |
| char | adiphthongE | char |
| char | AdiphtongE | char |
| char | agrave | char |
| char | Agrave | char |
| char | alpha | char |
| char | Alpha | char |
| char | AlphaAccent | char |
| char | alphaAccent | char |
| char | anoTeleia | char |
| char | AringAbove | char |
| char | aringAbove | char |
| char | asChar | nat -> char |
| char | atilde | char |
| char | Atilde | char |
| char | B | char |
| char | b | char |
| char | backspace | char |
| char | bell | char |
| char | beta | char |
| char | Beta | char |
| char | blank | char |
| char | box | char ** char ** char -> char ** char -> char ** char ** char -> denotation -> denotation |
| char | box | nat -> char ** char ** char -> char ** char -> char ** char ** char -> denotation -> denotation |
| char | brokenBar | char : [1], [2] |
| char | C | char |
| char | c | char |
| char | Ccedilla | char |
| char | ccedilla | char |
| char | cedilla | char |
| char | center | nat -> char ** denotation -> denotation |
| char | centSign | char |
| char | char | union -> char |
| char | chi | char |
| char | Chi | char |
| char | chr | nat -> char |
| char | colon | char |
| char | comma | char |
| char | copyrightSign | char : [1], [2] |
| char | currencySign | char |
| char | D | char |
| char | d | char |
| char | dblquote | char |
| char | degreeSign | char : [1], [2] |
| char | delta | char |
| char | Delta | char |
| char | diaeresis | char : [1], [2] |
| char | diaeresisAndAccent | char |
| char | dialytika | char |
| char | dialytikaAndTonos | char |
| char | divisionSign | char |
| char | dot | char |
| char | e | char |
| char | E | char |
| char | Eacute | char |
| char | eacute | char |
| char | Ecircumflex | char |
| char | ecircumflex | char |
| char | Ediaeresis | char |
| char | ediaeresis | char |
| char | egrave | char |
| char | Egrave | char |
| char | epsilon | char |
| char | Epsilon | char |
| char | EpsilonAccent | char |
| char | epsilonAccent | char |
| char | eta | char |
| char | Eta | char |
| char | etaAccent | char |
| char | EtaAccent | char |
| char | eth | char |
| char | Eth | char |
| char | f | char |
| char | F | char |
| char | feminineOrdinalIndicator | char |
| char | formfeed | char |
| char | ft | string -> char |
| char | G | char |
| char | g | char |
| char | Gamma | char |
| char | gamma | char |
| char | H | char |
| char | h | char |
| char | horizontalBar | char |
| char | I | char |
| char | i | char |
| char | Iacute | char |
| char | iacute | char |
| char | Icircumflex | char |
| char | icircumflex | char |
| char | Idiaeresis | char |
| char | idiaeresis | char |
| char | igrave | char |
| char | Igrave | char |
| char | invertedExclamationMark | char |
| char | invertedQuestionMark | char |
| char | Iota | char |
| char | iota | char |
| char | iotaAccent | char |
| char | IotaAccent | char |
| char | iotaDiaeresis | char |
| char | IotaDiaeresis | char |
| char | iotaDiaeresisAndAccent | char |
| char | j | char |
| char | J | char |
| char | k | char |
| char | K | char |
| char | Kappa | char |
| char | kappa | char |
| char | keychar | eventInfo -> char |
| char | L | char |
| char | l | char |
| char | lamda | char |
| char | Lamda | char |
| char | last | string -> char |
| char | lbrace | char |
| char | leftAngleQuotationMark | char : [1], [2] |
| char | leftSingleQuote | char |
| char | lower | char -> char : [1], [2], [3] |
| char | lsngquote | char |
| char | lsqbrace | char |
| char | m | char |
| char | M | char |
| char | macron | char |
| char | masculineOrdinalIndicator | char |
| char | max | char |
| char | microSign | char |
| char | middleDot | char : [1], [2] |
| char | min | char |
| char | Mu | char |
| char | mu | char |
| char | multiplicationSign | char |
| char | N | char |
| char | n | char |
| char | newline | char |
| char | noBreakSpace | char : [1], [2] |
| char | notSign | char : [1], [2] |
| char | ntilde | char |
| char | Ntilde | char |
| char | nu | char |
| char | Nu | char |
| char | o | char |
| char | O | char |
| char | oacute | char |
| char | Oacute | char |
| char | ocircumflex | char |
| char | Ocircumflex | char |
| char | Odiaeresis | char |
| char | odiaeresis | char |
| char | Ograve | char |
| char | ograve | char |
| char | omega | char |
| char | Omega | char |
| char | omegaAccent | char |
| char | OmegaAccent | char |
| char | Omicron | char |
| char | omicron | char |
| char | omicronAccent | char |
| char | OmicronAccent | char |
| char | oobliqueStroke | char |
| char | OobliqueStroke | char |
| char | Otilde | char |
| char | otilde | char |
| char | p | char |
| char | P | char |
| char | paragraphSign | char : [1], [2] |
| char | Phi | char |
| char | phi | char |
| char | pi | char |
| char | Pi | char |
| char | pilcrowSign | char |
| char | plusMinusSign | char : [1], [2] |
| char | poundSign | char : [1], [2] |
| char | pred | char -> char |
| char | psi | char |
| char | Psi | char |
| char | Q | char |
| char | q | char |
| char | r | char |
| char | R | char |
| char | rbrace | char |
| char | registeredTradeMarkSign | char |
| char | return | char |
| char | Rho | char |
| char | rho | char |
| char | rightAngleQuotationMark | char : [1], [2] |
| char | rightSingleQuote | char |
| char | rsngquote | char |
| char | rsqbrace | char |
| char | S | char |
| char | s | char |
| char | Sigma | char |
| char | sigma | char |
| char | softHyphen | char : [1], [2] |
| char | ssharp | char |
| char | succ | char -> char |
| char | superscriptOne | char |
| char | superscriptThree | char : [1], [2] |
| char | superscriptTwo | char : [1], [2] |
| char | T | char |
| char | t | char |
| char | tab | char |
| char | tau | char |
| char | Tau | char |
| char | terminalSigma | char |
| char | theta | char |
| char | Theta | char |
| char | Thorn | char |
| char | thorn | char |
| char | tomos | char |
| char | U | char |
| char | u | char |
| char | Uacute | char |
| char | uacute | char |
| char | Ucircumflex | char |
| char | ucircumflex | char |
| char | udiaeresis | char |
| char | Udiaeresis | char |
| char | Ugrave | char |
| char | ugrave | char |
| char | underscore | char |
| char | upper | char -> char : [1], [2], [3] |
| char | Upsilon | char |
| char | upsilon | char |
| char | UpsilonAccent | char |
| char | upsilonAccent | char |
| char | UpsilonDiaeresis | char |
| char | upsilonDiaeresis | char |
| char | upsilonDiaeresisAndAccent | char |
| char | V | char |
| char | v | char |
| char | vtab | char |
| char | vulgarFractionOneHalf | char : [1], [2] |
| char | vulgarFractionOneQuarter | char |
| char | vulgarFractionThreeQuarters | char |
| char | W | char |
| char | w | char |
| char | X | char |
| char | x | char |
| char | xi | char |
| char | Xi | char |
| char | Y | char |
| char | y | char |
| char | yacute | char |
| char | Yacute | char |
| char | ydiaeresis | char |
| char | yenSign | char |
| char | Z | char |
| char | z | char |
| char | zeta | char |
| char | Zeta | char |
| char | { | char |
| char | | | char |
| char | } | char |
| char | ~ | char |
| childstat | exited | procstat -> childstat |
| childstat | signalled | signal -> childstat |
| childstat | signalledUnknown | childstat |
| childstat | stopped | signal -> childstat |
| childstat | stoppedUnknown | childstat |