- S: SetCategory
TexFormat1 provides a utility coercion for changing to TeX format anything that has a coercion to the standard output format.
- coerce: S -> TexFormat
coerce(s)provides a direct coercion from a domain
Sto TeX format. This allows the user to skip the step of first manually coercing the object to standard output format before it is coerced to TeX format.