EQUIV : ABBREV

EQUIV is a logical abbreviation.
No more help available. Sorry.
=
Infix binding priority is 2

TPS documentation homepage


EQUIV : CONCEPT-CHAR

EQUIV is a concept special character.
Prints as EQUIV

TPS documentation homepage


EQUIV : SCRIBE-CHAR

EQUIV is a scribe special character.
Prints as EQUIV

TPS documentation homepage


EQUIV : TEX-CHAR

EQUIV is a tex special character.
Prints as EQUIV

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage