TEX-MIMIC-SCRIBE : FLAGTEX-MIMIC-SCRIBE is a flag or parameter.
If T, TEXPROOF will give a good-looking tex output.
If NIL, TEXPROOF cannot break formulas in terms of the connectives in it.
So the output is a little bit ugly. Change the flag into NIL only when you
cannot get a good-looking output by setting it to T.
TEX-MIMIC-SCRIBE takes values of type BOOLEAN.
It belongs to subjects PRINTING .
Its default value is T
Its current value is T.
TPS documentation homepage