TexmacsFormat

texmacs.spad line 15 [edit on github]

TexmacsFormat provides a coercion from OutputForm to TeXmacs format.

= : (%, %) -> Boolean

from BasicType

coerce : % -> OutputForm

from CoercibleTo(OutputForm)

coerce : OutputForm -> String

coerce(o) changes o in the standard output format to Texmacs format.

coerceL : OutputForm -> String

coerceL(o) changes o in the standard output format to Texmacs format and displays result as one long string.

display : String -> Void

prints the string returned by coerce, adding <math ...> tags.

latex : % -> String

from SetCategory

~= : (%, %) -> Boolean

from BasicType

CoercibleTo(OutputForm)

SetCategory

BasicType