Note: Parsing issues

=>

and

<=>

have the same precedence. Therefore, a statement like

$$p \leftrightarrow q \rightarrow r$$

is ambiguous. However, the syntax parser assumes a left-to-right evaluation is implied. So this will be interpreted as

$$(p \leftrightarrow q) \rightarrow r$$

Currently the parser does not insert brackets to show this assumption.