+ /// Inset to substitute char for, for on-screen display in math mode, as
+ /// performed by LaTeX (#9893):
+ /// * -> \ast (U+2217)
+ /// - -> \lyxminus (U+2212)
+ /// : -> \ordinarycolon (U+2236)
+ ///
+ /// For cosmetic reasons, +, >, <, and = are also substituted to force the
+ /// use of CM fonts for uniformity. If CM fonts are replaced with unicode
+ /// math fonts, this should be removed, and substitutions of "'", ",", and
+ /// ";" added.