Add more math commands to "Statements TeX manual"

[mikhail-dvorkin]

The /docs/statements-tex-manual file is cool! I propose to add more math commands there, so that novice LaTeX users would rely on this manual. Here is my proposal with added unrepresented commands that are common for comp. prog.:

Some complex formula: $$P(|S - E[S]| \ge t) \le 2 \exp \left( -\frac{
\lfloor\max(a_1, \ldots, a_n)\rfloor \cdot \lceil \sqrt[3]{t} \rceil
}{\sum_{i = 1}^n (b_i - a_i)^2} \right).$$

Some discrete math formula:
$$(q \equiv 1 \mod{p}) \oplus (p \neq q) \Rightarrow
a \wedge (b \vee\neg (c \rightarrow d)).$$

[mikhail-dvorkin]

P. S. Also would be nice to add sub/superscript index that is longer than 1 digit, added it:

Some complex formula: $$P(|S - E[S]| \ge t) \le 2 \exp \left( -\frac{
\lfloor\max(a_1, \ldots, a_n)\rfloor \cdot \lceil \sqrt[3]{t} \rceil
}{\sum_{i = 1}^n (b_{i + 1}^{24} - a_i)^2} \right).$$

Some discrete math formula:
$$(q \equiv 1 \mod{p}) \oplus (p \neq q) \Rightarrow
a \wedge (b \vee \neg(c \rightarrow d)).$$