% — percentage
expression % expression
m : ( R x R ) -> Z
4 % 2 = 0.08
Leftmost percentage of the rightmost expression. Percentage is calculated without regards to the sign of both expressions, then multiplied by signs of the rightmost and the leftmost expressions.