- ASSUME
- ASSUMPTION
- AXIOM
- CASE
- CHOOSE
- CONSTANT
- CONSTANTS
- DOMAIN
- ELSE
- ENABLED
- EXCEPT
- EXTENDS
- IF
- IN
- INSTANCE
- LET
- LOCAL
- MODULE
- OTHER
- SUBSET
- THEN
- THEOREM
- UNCHANGED
- UNION
- VARIABLE
- VARIABLES
- WITH
- /\
- <=>
- =>
- \/
- \A
- \E
- \in
- \intersect
- \notin
- \setminus
- \subset
- \subseteq
- \supset
- \supseteq
- \union
- ~