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.

----