INTEGRAL WITH TIMES SIGN
N-ARY CIRCLED DOT OPERATOR
N-ARY SQUARE INTERSECTION OPERATOR
MODULO TWO SUM
FINITE PART INTEGRAL
QUATERNION INTEGRAL OPERATOR
INTEGRAL WITH LEFTWARDS ARROW WITH HOOK
JOIN
LARGE LEFT TRIANGLE OPERATOR
Z NOTATION SCHEMA PIPING
Z NOTATION SCHEMA PROJECTION
PLUS SIGN WITH BLACK TRIANGLE
PLUS SIGN IN LEFT HALF CIRCLE
VECTOR OR CROSS PRODUCT
MULTIPLICATION SIGN WITH UNDERBAR
SMASH PRODUCT
CIRCLED DIVISION SIGN
INTERIOR PRODUCT
RIGHTHAND INTERIOR PRODUCT
UNION WITH MINUS SIGN
INTERSECTION WITH OVERBAR
UNION ABOVE INTERSECTION
UNION ABOVE BAR ABOVE INTERSECTION
DOUBLE SQUARE INTERSECTION
LOGICAL AND WITH DOT ABOVE
TWO INTERSECTING LOGICAL OR
LOGICAL OR WITH HORIZONTAL DASH
Z NOTATION DOMAIN ANTIRESTRICTION
Z NOTATION RANGE ANTIRESTRICTION
IDENTICAL WITH DOT ABOVE
TILDE OPERATOR WITH DOT ABOVE
CONGRUENT WITH DOT ABOVE
APPROXIMATELY EQUAL OR EQUAL TO
THREE CONSECUTIVE EQUALS SIGNS
EQUALS SIGN WITH TWO DOTS ABOVE AND TWO DOTS BELOW
LESS-THAN WITH CIRCLE INSIDE
GREATER-THAN WITH CIRCLE INSIDE
LESS-THAN OR SLANTED EQUAL TO
GREATER-THAN OR SLANTED EQUAL TO WITH DOT ABOVE LEFT
LESS-THAN OR APPROXIMATE
GREATER-THAN AND SINGLE-LINE NOT EQUAL TO
LESS-THAN AND NOT APPROXIMATE
LESS-THAN ABOVE GREATER-THAN ABOVE DOUBLE-LINE EQUAL
SLANTED EQUAL TO OR GREATER-THAN
DOUBLE-LINE SLANTED EQUAL TO OR LESS-THAN
DOUBLE-LINE SLANTED EQUAL TO OR GREATER-THAN
SIMILAR OR LESS-THAN
DOUBLE NESTED GREATER-THAN
SMALLER THAN
SMALLER THAN OR EQUAL TO
LARGER THAN OR EQUAL TO
EQUALS SIGN WITH BUMPY ABOVE
SUCCEEDS ABOVE SINGLE-LINE EQUALS SIGN
SUCCEEDS ABOVE NOT EQUAL TO
SUCCEEDS ABOVE NOT ALMOST EQUAL TO
DOUBLE SUCCEEDS
SUBSET WITH DOT
SUBSET WITH PLUS SIGN BELOW
SUBSET WITH MULTIPLICATION SIGN BELOW
SUPERSET WITH MULTIPLICATION SIGN BELOW
SUBSET OF OR EQUAL TO WITH DOT ABOVE
SUPERSET OF OR EQUAL TO WITH DOT ABOVE
SUPERSET OF ABOVE EQUALS SIGN
SUBSET OF ABOVE ALMOST EQUAL TO
SUBSET OF ABOVE NOT EQUAL TO
TRANSVERSAL INTERSECTION
FORKING
NONFORKING
VERTICAL BAR TRIPLE RIGHT TURNSTILE
DOUBLE VERTICAL BAR LEFT TURNSTILE
SHORT UP TACK ABOVE SHORT DOWN TACK
DOUBLE DOWN TACK
DOUBLE STROKE NOT SIGN
PARALLEL WITH TILDE OPERATOR
TRIPLE VERTICAL BAR BINARY RELATION
TRIPLE NESTED LESS-THAN
TRIPLE SOLIDUS BINARY RELATION
WHITE VERTICAL BAR