FORALL : BINDER

FORALL is a binder.
Universal quantifier.
Type variables are: ("A")
Prefix binding priority is 100

TPS documentation homepage


FORALL : CONCEPT-CHAR

FORALL is a concept special character.
Prints as FORALL

TPS documentation homepage


FORALL : SCRIBE-CHAR

FORALL is a scribe special character.
Prints as FORALL

TPS documentation homepage


FORALL : TEX-CHAR

FORALL is a tex special character.
Prints as FORALL

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage