| Abbreviation | Parse-tree header | Meaning | External repr. |
| [] | param.list | ||
| () | application | ||
| itr | iterators | ||
| {} | setformer | ||
| in | membership | ||
| {.} | multiapplication | ||
| = | equality | ||
| EX | exist. quantifier | ||
| Etr | exist. iterators | ||
| ALL | univ. quantifier | ||
| {-} | enumerated set | ||
| and | conjunction | ||
| or | disjunction | ||
| == | biimplication | ||
| + | union | ||
| * | intersection | ||
| - | set difference | ||
| [-] | enumerated tuple | ||
| not | negation | ||
| notin | neg. membership | ||
| /== | exclusive or | ||
| /= | inequality | ||
| incs | includes | ||
| incin | is included in | ||
| -> | map application | ||
| imp | implication | ||
| 0 | void | {} | |
| {/} | |||
| null | |||
| arb | arbitrary choice | ||
| := | assignment | ||
| and | conjunction, 2 | ||
| domain | domain | domain | |
| range | image | range | |
| @ | map composition | ||
| # | cardinality | ||
| > | greater than | ||
| >= | greater than or equal | ||
| < | less than | ||
| <= | less than or equal | ||
| pow | powerset | ||
| if | if ... then ... else ... |
Note: In order to get a view of syntax trees generated by the SETL parser, it suffices to compile a SETL program by means of the command
stlc -da test.stl
stlc --h