Documentation

Maps TextType to the corresponding MathML mathvariant

Maps MathML mathvariant to the corresponing TextType

Maps TextType to corresponding LaTeX command

Maps a LaTeX scaling command to the percentage scaling

Gets percentage scaling from LaTeX scaling command

Mapping between LaTeX scaling commands and the scaling factor

Returns the space width for a unicode space character, or Nothing.

Returns the sequence of unicode space characters closest to the specified width.

Given a diacritical mark, returns the corresponding LaTeX command

Mapping between unicode combining character and LaTeX accent command

Attempts to convert a string into

Walks over a tree of expressions, removing empty expressions, and fixing delimited expressions with no delimiters and unnecessarily grouped expressions.

Apply a transformation to every subexpression, bottom up (equivalent to SYB's everywhere (mkT f), but faster, since it involves no run-time type checks).

Apply a transformation to every expression list in an expression list, bottom up. Like SYB's everywhere (mkT f), this applies the function to every tail of every list (right to left), since each tail is itself a [Exp] node; a rewrite can thus consume already-rewritten material to its right.

Apply goE to each immediate subexpression of a node and goL to each immediate subexpression list. A building block for expression traversals.

Test to see whether an expression is empty.

An empty group of expressions