A categorical hierarchy is constructed for interpretation as grammar rules. Note that select symbols appear multiple times. These are interpreted in multiple possible ways. For example, - is both "negation" and "subtraction".

NOTICE: This page is generated from the syntax specification. There are also operator-like elements that are not included here because of specialized syntax, such as DEFINITION.