DOUBLE VERTICAL BAR LEFT TURNSTILE
N-ARY CIRCLED DOT OPERATOR
N-ARY UNION OPERATOR WITH PLUS
TWO LOGICAL AND OPERATOR
INTEGRAL WITH DOUBLE STROKE
LINE INTEGRATION WITH SEMICIRCULAR PATH AROUND POLE
INTEGRAL AROUND A POINT OPERATOR
INTEGRAL WITH LEFTWARDS ARROW WITH HOOK
INTEGRAL WITH OVERBAR
INTEGRAL WITH UNDERBAR
Z NOTATION SCHEMA PROJECTION
PLUS SIGN WITH SMALL CIRCLE ABOVE
PLUS SIGN WITH TILDE BELOW
PLUS SIGN WITH BLACK TRIANGLE
MULTIPLICATION SIGN WITH DOT ABOVE
MULTIPLICATION SIGN IN RIGHT HALF CIRCLE
PLUS SIGN IN TRIANGLE
MULTIPLICATION SIGN IN TRIANGLE
INTERIOR PRODUCT
INTERSECTION WITH DOT
UNION WITH OVERBAR
INTERSECTION WITH OVERBAR
UNION BESIDE AND JOINED WITH UNION
INTERSECTION BESIDE AND JOINED WITH INTERSECTION
CLOSED INTERSECTION WITH SERIFS
DOUBLE LOGICAL OR
TWO INTERSECTING LOGICAL OR
SLOPING LARGE OR
LOGICAL AND WITH MIDDLE STEM
LOGICAL OR WITH MIDDLE STEM
LOGICAL AND WITH HORIZONTAL DASH
LOGICAL AND WITH UNDERBAR
LOGICAL AND WITH DOUBLE UNDERBAR
SMALL VEE WITH UNDERBAR
Z NOTATION DOMAIN ANTIRESTRICTION
THREE CONSECUTIVE EQUALS SIGNS
GREATER-THAN WITH CIRCLE INSIDE
GREATER-THAN OR SLANTED EQUAL TO
GREATER-THAN ABOVE DOUBLE-LINE EQUAL ABOVE LESS-THAN
GREATER-THAN ABOVE SIMILAR OR EQUAL
LESS-THAN ABOVE GREATER-THAN ABOVE DOUBLE-LINE EQUAL
SLANTED EQUAL TO OR LESS-THAN
DOUBLE-LINE EQUAL TO OR LESS-THAN
DOUBLE-LINE SLANTED EQUAL TO OR GREATER-THAN
SIMILAR OR LESS-THAN
SIMILAR ABOVE GREATER-THAN ABOVE EQUALS SIGN
DOUBLE NESTED GREATER-THAN
GREATER-THAN CLOSED BY CURVE
GREATER-THAN CLOSED BY CURVE ABOVE SLANTED EQUAL
LARGER THAN
SUCCEEDS ABOVE SINGLE-LINE EQUALS SIGN
PRECEDES ABOVE SINGLE-LINE NOT EQUAL TO
PRECEDES ABOVE EQUALS SIGN
SUCCEEDS ABOVE EQUALS SIGN
SUPERSET WITH DOT
SUBSET WITH PLUS SIGN BELOW
SUBSET WITH MULTIPLICATION SIGN BELOW
SUPERSET OF OR EQUAL TO WITH DOT ABOVE
SUBSET OF ABOVE EQUALS SIGN
SUBSET OF ABOVE ALMOST EQUAL TO
SUBSET OF ABOVE NOT EQUAL TO
SQUARE LEFT OPEN BOX OPERATOR
CLOSED SUPERSET OR EQUAL TO
SUPERSET ABOVE SUBSET
PITCHFORK WITH TEE TOP
FORKING
NONFORKING
SHORT DOWN TACK
LONG DASH FROM LEFT MEMBER OF DOUBLE VERTICAL
SHORT DOWN TACK WITH OVERBAR
SHORT UP TACK WITH UNDERBAR
SHORT UP TACK ABOVE SHORT DOWN TACK
DOUBLE DOWN TACK
DOUBLE STROKE NOT SIGN
REVERSED DOUBLE STROKE NOT SIGN
DOWN TACK WITH CIRCLE BELOW
TRIPLE VERTICAL BAR BINARY RELATION
TRIPLE SOLIDUS BINARY RELATION