Throughout the text, various notations are used to indicate
mathematical things of interest.

* multiplication
** exponentiation
MOD modular
| modular
XOR exclusive OR
|x| absolute value of x or size of x
+ addition
- subtraction
/ division
= equality
()[]{} grouping