Syntax conventions:

Notes:

  1. “\” is the escape character
  2. “{}”-groupings in indices and powers are available
  3. indices and powers can also be nested: x^{x_0}
  4. newlines are encoded and preserved
  5. hyphens are not interpreted as minuses in compound words
  6. “TT” or “BB” are left as is, if found close to an alphanumeric character
  7. “⇔”, “⇒”, and “⇐” and their long equivalents preserve appropriate spacing on both sides