Augur docs

Language

Operators

GroupOperators
Arithmetic+ - * / % ^
Comparison== != < > <= >=
Logicaland or not
Unary- (negate), not
Binary arithmetic and comparison operators are divined outside certain — sent to the oracle as an operation. Inside certain they are computed natively. The logical operators and/or (short-circuiting) and the unary operators are always native, in every zone.
proclaim 2 + 2                 // divined - usually 4, sometimes not
certain { proclaim 2 + 2 }     // native - always 4

Precedence, lowest to highest: orandnot → equality → comparison → +/-*///%^ (right-associative) → unary - → call/index → primary.