Syntax definition cbtwn

Description: Declare the syntax for the Euclidean betweenness predicate.

	Ref	Expression
Assertion	cbtwn	$$class\mathrm{Btwn}$$