Model M Type Syntax

Model M Formal Notation

It is unsatisfactory to use notations like XXTe or NeXX in order to refer to several types by one code. This is because the second X denotes a different kind of variable than the first X. A less ambiguous notation would be something like XYTe so that:
* XYTe refers to truth values XY11
* X in XYTe means X and T have the same truth value, which is 1
* Y in XYTe means X and e have the same truth value, which is 1
* x in xYTe means x and T have a different truth value
* y in XyTe means y and e have a different truth value
* Y in YXTe means Y and e have the same truth value

et cetera. That is:

* X in YXTe means X and T have the same truth value
* y in yXTe means y and e have a different truth value
* X in yXTe means X and T have the same truth value
* Y in YxTe means Y and e have the same truth value
* x in YxTe means x and T have a different truth value