See also Operators.
| Operator | Notes |
| CALL | anything that is a call to a function; func, tuple, string, map, etc. |
| # - + |
as unary operators |
| ? | nonassociative |
| % | nonassociative |
| ** | right associative |
| * / mod div inter |
|
| + - with less union |
|
| .ID | infix use of binary function |
| in notin subset |
|
| < <= = /= > >= |
nonassociative |
| not | as unary operator |
| and | |
| or | |
| impl | |
| iff | |
| choose exists forall |
|
| where |