cst 2 rInfix[4] x "|->" y. tex_syntax $|-> rInfix[4] x "\\hookrightarrow" y.Will imply the
\[ A |-> B \] gives 
in your
LaTeX document. You should note that you have to double the \ in
strings.
Cst Prefix[1.5] "Sum" E "for" \E\ "=" a "to" b
: (Term -> Term) -> Term -> Term -> Term.
tex_syntax $Sum Prefix[1.5]
"\\Sigma" "_{" ! \E\ "=" a ! "}^{" ! b ! "}" E %as $Sum E a b.
Will imply that \[Sum f i for i = n to p\] gives 
in your LaTeX document. We have separated the "\\Sigma" from the "_{" so that "\[$Sum\]" just produces a single 
and we
used "%as" to modify the order of the arguments (because E comes
last in the LaTeX syntax and first in the syntax). More complete examples can be found by looking at the libraries and examples distributed with .