Alloy Query Syntax (AQS)Supported child nodesArithmetical OperatorsOn this pageArithmetical OperatorsHow to use arithmetical operators​ The following are arithmetical operators supported in AQS, which produce a numerical output. Add Subtract Divide Multiply Power Root Ceiling Floor