Formula editor foundation

[ktraunmueller]

The purpose of this ticket is to lay out the requirements for a "formula editor foundation". This foundation encompasses

• a data model to represent math formulae (using a limited set of features outlined below)
• a parser to parse the source of math formulae into this data model
• a formula editor API to build up math formulae (either from scratch, or from parser output)
• a model for groups of related math building blocks (e.g., relations, sums & integrals, etc) to be used both by the formula editor API as well as the user interface

The formula editor foundation shall support both standard LaTeX math features, as well as the popular AMS LaTeX extensions.

Building blocks (draft)

• Inline / Display maths
• Text
• Subscripts and superscripts
• Brackets, braces and delimiters
• Arrows: extensible, vertical
• Top and bottom embellishments
• Fractions, continued fractions, binomials
• Operators
• Roots
• Integrals and sums
• Matrices, arrays, dots
• Math symbols: ordinary, prefix operators, binary operators, named operators (cos), relations, variable-size operators, punctuation
• Greek letters, blackboard, calligraphic, Fraktur, accents
• Equation alignment options
• Custom spacing

AMS LaTeX references:

• http://mirror.easyname.at/ctan/info/short-math-guide/short-math-guide.pdf
• http://mirror.easyname.at/ctan/macros/latex/required/amsmath/amsldoc.pdf

To consider:

• Symbols defined in packages, e.g. mandi.

[ktraunmueller]

Update: Compositor's LaTeX parser is basically a port of KaTeX's parser.

The plan is to keep Compositor's parser on par with KaTeX's: https://katex.org/docs/supported.html