User defined LaTeX syntax.

You can specify yourself the syntax to be used in the math version of a formula. To do so you can use the tex_syntax. This command can have three form:

tex_syntax symbol "name"

: tells to use this name for this symbol. name should be a valid LaTeX expression in text mode and will be included inside an hbox in math mode. This form should be used to give names to theorems, lemmas and functions which are to be printed just as a name (like sin or cos).

tex_syntax symbol Math "name"

: tells to use this name for this symbol. name should be a valid LaTeX expression in math mode and will be included directly in math mode.

tex_syntax symbol syntax

: tell to use the given syntax for this symbol. The syntax uses the same convention as for the command def of cst. When the symbol is used without its syntax (using $symbol) the first keyword if the syntax is Prefix or the second otherwise will be used. Moreover, you can separate tokens with the following spacing information (to change the default spacing):

! suppresses all space and disallow breaking (in multi-line formulas).

<n> (where n is an integer) uses n 100th of em for spacing and disallows breaking (in multi-line formulas).

<n i> (where n and i are integers) uses n 100th of em for spacing and allows breaking (in multi-line formulas) using i 100th of em of extra indentation space.