PP SCRIPT CAPITAL P
^v^v UP DOWN ARROW
^=v^=v UP DOWN DOUBLE ARROW
- TTTT N-ARY PRODUCT
- UU N-ARY COPRODUCT
- EE N-ARY SUMMATION
- (!=(!= NOT A SUBSET OF
- !=)!=) NOT A SUPERSET OF
+ <product><product> N-ARY PRODUCT
+ <coproduct><coproduct> N-ARY COPRODUCT
+ <sum><sum> N-ARY SUMMATION
+ <not subset><not subset> NOT A SUBSET OF
+ <not superset><not superset> NOT A SUPERSET OF
// LEFT PARENTHESIS UPPER HOOK
|| LEFT PARENTHESIS EXTENSION
\\ LEFT PARENTHESIS LOWER HOOK