Abbreviation | Parse-tree header | Meaning | External repr.
ast_list | [] | param.list |
ast_of | () | application |
ast_iter_list | itr | iterators |
ast_genset | {} | setformer |
ast_in | in | membership |
ast_ofa | {.} | multiapplication |
ast_eq | = | equality |
ast_exists | EX | exist. quantifier |
ast_ex_iter | Etr | exist. iterators
ast_forall | ALL | univ. quantifier |
ast_enum_set | {-} | enumerated set |
ast_and | and | conjunction |
ast_or | or | disjunction |
DOT_EQ | == | biimplication |
ast_add | + | union |
ast_mult | * | intersection |
ast_sub | - | set difference |
ast_enum_tup | [-] | enumerated tuple |
ast_not | not | negation |
ast_notin | notin | neg. membership |
DOT_NEQ | /== | exclusive or |
ast_ne | /= | inequality |
ast_incs | incs | includes |
DOT_INCIN | incin | is included in |
TILDE_ | -> | map application |
DOT_IMP | imp | implication |
_nullset | 0 | void | {}
ast_genset_noexp | {/} |  |
ast_null | null |  |
ast_arb | arb | arbitrary choice |
ast_assign | := | assignment |
AMP_ | and | conjunction, 2 |
ast_domain | domain | domain | domain
ast_range | range | image | range
AT_ | @ | map composition |
ast_nelt | # | cardinality |
ast_gt | > | greater than |
ast_ge | >= | greater than or equal |
ast_lt | < | less than |
ast_le | <= | less than or equal |
ast_pow | pow | powerset |
ast_if_expr | 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

To see, more generally, which are all available options for the SETL compiler, just ask

    stlc --h