tor - Higher-Order Logic Explorer

	Higher-Order Logic Explorer		< Previous Next > Nearby theorems
Mirrors > Home > HOLE Home > Th. List > tor		Unicode version

Syntax Definition tor 114

Description: Disjunction term.

**Assertion**
Ref	Expression
tor	term $\/$

See definition df-or 122 for more information.

Colors of variables: type var term