12.7  THEORETIC 

Case character:
T = Theoretic special symbols
     1.  E    Existential quantifier
     2.  A    Universal quantifier
     3.  M    Membership symbol
     4.  N    Membership negation
     5.  I    Intersection
     6.  U    Union
     7.  L    Contained in
     8.  G    Contains
     9.  K    Contained in or equals
    10.  F    Contains or equals