PLUSMIN : CONCEPT-CHAR

PLUSMIN is a concept special character.
Prints as PLUSMIN

TPS documentation homepage


PLUSMIN : SCRIBE-CHAR

PLUSMIN is a scribe special character.
Prints as PLUSMIN

TPS documentation homepage


PLUSMIN : TEX-CHAR

PLUSMIN is a tex special character.
Prints as PLUSMIN

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage