LESS-THAN AND SINGLE-LINE NOT EQUAL TO
N-ARY SQUARE UNION OPERATOR
TWO LOGICAL AND OPERATOR
N-ARY TIMES OPERATOR
INTEGRAL WITH DOUBLE STROKE
LINE INTEGRATION NOT INCLUDING THE POLE
INTEGRAL WITH OVERBAR
INTEGRAL WITH UNDERBAR
Z NOTATION SCHEMA PROJECTION
PLUS SIGN WITH TILDE ABOVE
PLUS SIGN WITH TILDE BELOW
MINUS SIGN WITH DOT BELOW
PLUS SIGN IN LEFT HALF CIRCLE
VECTOR OR CROSS PRODUCT
SEMIDIRECT PRODUCT WITH BOTTOM CLOSED
SMASH PRODUCT
MULTIPLICATION SIGN IN RIGHT HALF CIRCLE
CIRCLED DIVISION SIGN
AMALGAMATION OR COPRODUCT
UNION WITH OVERBAR
UNION WITH LOGICAL OR
CLOSED INTERSECTION WITH SERIFS
DOUBLE SQUARE INTERSECTION
DOUBLE LOGICAL AND
DOUBLE LOGICAL OR
SLOPING LARGE OR
SLOPING LARGE AND
LOGICAL AND WITH MIDDLE STEM
LOGICAL AND WITH DOUBLE UNDERBAR
LOGICAL OR WITH DOUBLE UNDERBAR
Z NOTATION DOMAIN ANTIRESTRICTION
IDENTICAL WITH DOT ABOVE
PLUS SIGN ABOVE EQUALS SIGN
EQUALS SIGN ABOVE TILDE OPERATOR
TWO CONSECUTIVE EQUALS SIGNS
THREE CONSECUTIVE EQUALS SIGNS
LESS-THAN OR SLANTED EQUAL TO WITH DOT INSIDE
GREATER-THAN OR SLANTED EQUAL TO WITH DOT INSIDE
GREATER-THAN ABOVE DOUBLE-LINE EQUAL ABOVE LESS-THAN
LESS-THAN ABOVE SIMILAR OR EQUAL
GREATER-THAN ABOVE SIMILAR ABOVE LESS-THAN
DOUBLE-LINE EQUAL TO OR GREATER-THAN
SIMILAR ABOVE GREATER-THAN ABOVE EQUALS SIGN
DOUBLE NESTED LESS-THAN WITH UNDERBAR
LESS-THAN CLOSED BY CURVE
SMALLER THAN OR EQUAL TO
EQUALS SIGN WITH BUMPY ABOVE
SUCCEEDS ABOVE SINGLE-LINE EQUALS SIGN
PRECEDES ABOVE SINGLE-LINE NOT EQUAL TO
PRECEDES ABOVE NOT EQUAL TO
SUCCEEDS ABOVE NOT ALMOST EQUAL TO
SUBSET WITH DOT
SUPERSET WITH DOT
SUPERSET WITH PLUS SIGN BELOW
SUPERSET WITH MULTIPLICATION SIGN BELOW
SUPERSET OF ABOVE EQUALS SIGN
SUBSET OF ABOVE ALMOST EQUAL TO
SUPERSET OF ABOVE ALMOST EQUAL TO
SQUARE RIGHT OPEN BOX OPERATOR
CLOSED SUBSET
CLOSED SUPERSET
CLOSED SUPERSET OR EQUAL TO
SUBSET ABOVE SUBSET
SUPERSET ABOVE SUPERSET
SUPERSET BESIDE SUBSET
SHORT DOWN TACK
SHORT UP TACK
PERPENDICULAR WITH S
DOUBLE VERTICAL BAR LEFT TURNSTILE
SHORT UP TACK ABOVE SHORT DOWN TACK
VERTICAL LINE WITH CIRCLE ABOVE
PARALLEL WITH HORIZONTAL STROKE
PARALLEL WITH TILDE OPERATOR
TRIPLE VERTICAL BAR WITH HORIZONTAL STROKE
TRIPLE COLON OPERATOR
TRIPLE NESTED LESS-THAN
DOUBLE-LINE SLANTED LESS-THAN OR EQUAL TO
TRIPLE SOLIDUS BINARY RELATION