NOTATION EXTENSIONS TEMPLATES (1.0)
DEFAULT(D V) = "V is the default value for the designator D"
{ D
D~=V
|D=V }.
IF(P Q) = "If P then Q"
{ ~P
|"~~ makes everything sub-c"
~~P Q}.
IFF(P Q) = "P if and only Q"
{P Q | ~P ~Q}.
OPT(TAG SCHEMATA) = "Optimality marks"
{ SCHEMATA
|~SCHEMATA
TAG$o::*}.
SUB-C(SCHEMATA) = "constraining equation"
~~SCHEMATA.
----