.1  ` & MathType,Times New Roman+-!x Times New Roman-!i"System-T  ::= u .1  `  & MathType@DTimes New Roman+-!p"System- ) :O&; <  .1  `" & MathType-] ]-