TexFormat

 Author: Robert S. Sutor
 Date Created: 1987 through 1992
 Basic Operations: coerce, convert, display, epilogue,
   tex, new, prologue, setEpilogue!, setTex!, setPrologue!
 Related Constructors: TexFormat1
 Also See: ScriptFormulaFormat
 AMS Classifications:
 Keywords: TeX, LaTeX, output, format
 References: \TeX{} is a trademark of the American Mathematical Society.
 Description:
   \spadtype{TexFormat} provides a coercion from \spadtype{OutputForm} to
   \TeX{} format.  The particular dialect of \TeX{} used is \LaTeX{}.
   The basic object consists of three parts: a prologue, a
   tex part and an epilogue. The functions \spadfun{prologue},
   \spadfun{tex} and \spadfun{epilogue} extract these parts,
   respectively.  The main guts of the expression go into the tex part.
   The other parts can be set (\spadfun{setPrologue!},
   \spadfun{setEpilogue!}) so that contain the appropriate tags for
   printing. For example, the prologue and epilogue might simply
   contain ``\verb+\[+'' and ``\verb+\]+'', respectively, so that
   the TeX section will be printed in LaTeX display math mode.
 Revision:
   25-FEB-2020 ... op PRIME (line 356), Greek characters x% (565 ff.)
coerce : E -> % 
 coerce(o) changes o in the standard output format to TeX
 format.
convert : (E, I) -> % 
 convert(o, step) changes o in standard output format to
 TeX format and also adds the given step number. This is useful
 if you want to create equations with given numbers or have the
 equation numbers correspond to the interpreter step numbers.
convert : (E, I, E) -> % 
 convert(o, step, type) changes o in standard output format to
 TeX format and also adds the given step number and type. This
 is useful if you want to create equations with given numbers
 or have the equation numbers correspond to the interpreter step
 numbers.
display : (%, I) -> Void 
 display(t, width) outputs the TeX formatted code t so that each
 line has length less than or equal to \spadvar{width}.
display : % -> Void 
 display(t) outputs the TeX formatted code t so that each
 line has length less than or equal to the value set by
 the system command \spadsyscom{set output length}.
epilogue : % -> L S 
 epilogue(t) extracts the epilogue section of a TeX form t.
tex : % -> L S 
 tex(t) extracts the TeX section of a TeX form t.
new : () -> % 
 new() create a new, empty object. Use \spadfun{setPrologue!},
 \spadfun{setTex!} and \spadfun{setEpilogue!} to set the various
 components of this object.
prologue : % -> L S 
 prologue(t) extracts the prologue section of a TeX form t.
setEpilogue! : (%, L S) -> L S 
 setEpilogue!(t, strings) sets the epilogue section of a TeX form t to strings.
setTex! : (%, L S) -> L S 
 setTex!(t, strings) sets the TeX section of a TeX form t to strings.
setPrologue! : (%, L S) -> L S 
 setPrologue!(t, strings) sets the prologue section of a TeX form t to strings.

TexFormat1

 Author: Robert S. Sutor
 Date Created: 1987 through 1990
 Basic Operations: coerce
 Related Constructors: TexFormat
 Also See: ScriptFormulaFormat, ScriptFormulaFormat1
 AMS Classifications:
 Keywords: TeX, output, format
 References: \TeX{} is a trademark of the American Mathematical
   Society.
 Description:
   \spadtype{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 S to
 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.