EXISTS : BINDER

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

TPS documentation homepage


EXISTS : CONCEPT-CHAR

EXISTS is a concept special character.
Prints as EXISTS

TPS documentation homepage


EXISTS : SCRIBE-CHAR

EXISTS is a scribe special character.
Prints as EXISTS

TPS documentation homepage


EXISTS : TEX-CHAR

EXISTS is a tex special character.
Prints as EXISTS

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage