U+2A1F Z NOTATION SCHEMA COMPOSITION

Z notation operator, a semicolon-like symbol for schema composition in the Z formal specification language.

Codepoint: U+2A1F
Name: Z NOTATION SCHEMA COMPOSITION
Block: Supplemental Mathematical Operators
Script: Common
Category: Math Symbol (Sm)
Unicode version: 3.2
Plane: BMP
HTML: ⨟ ⨟
CSS: \2A1F
UTF-8: E2 A8 9F
UTF-16: 2A1F
UTF-32: 00002A1F

Related characters

U+2A1ELARGE LEFT TRIANGLE OPERATOR
U+2A20Z NOTATION SCHEMA PIPING
U+2A1DJOIN
U+2A21Z NOTATION SCHEMA PROJECTION
U+2A1CINTEGRAL WITH UNDERBAR
U+2A22PLUS SIGN WITH SMALL CIRCLE ABOVE
U+2A1BINTEGRAL WITH OVERBAR
U+2A23PLUS SIGN WITH CIRCUMFLEX ACCENT ABOVE
U+2A1AINTEGRAL WITH UNION
U+2A24PLUS SIGN WITH TILDE ABOVE
U+2A19INTEGRAL WITH INTERSECTION
U+2A25PLUS SIGN WITH DOT BELOW

Supplemental Mathematical Operators

256 characters in the Supplemental Mathematical Operators Unicode block.

U+2A00N-ARY CIRCLED DOT OPERATOR
U+2A01N-ARY CIRCLED PLUS OPERATOR
U+2A02N-ARY CIRCLED TIMES OPERATOR
U+2A03N-ARY UNION OPERATOR WITH DOT
U+2A04N-ARY UNION OPERATOR WITH PLUS
U+2A05N-ARY SQUARE INTERSECTION OPERATOR
U+2A06N-ARY SQUARE UNION OPERATOR
U+2A07TWO LOGICAL AND OPERATOR
U+2A08TWO LOGICAL OR OPERATOR
U+2A09N-ARY TIMES OPERATOR
U+2A0AMODULO TWO SUM
U+2A0BSUMMATION WITH INTEGRAL
U+2A0CQUADRUPLE INTEGRAL OPERATOR
U+2A0DFINITE PART INTEGRAL
U+2A0EINTEGRAL WITH DOUBLE STROKE
U+2A0FINTEGRAL AVERAGE WITH SLASH
U+2A10CIRCULATION FUNCTION
U+2A11ANTICLOCKWISE INTEGRATION
U+2A12LINE INTEGRATION WITH RECTANGULAR PATH AROUND POLE
U+2A13LINE INTEGRATION WITH SEMICIRCULAR PATH AROUND POLE
U+2A14LINE INTEGRATION NOT INCLUDING THE POLE
U+2A15INTEGRAL AROUND A POINT OPERATOR
U+2A16QUATERNION INTEGRAL OPERATOR
U+2A17INTEGRAL WITH LEFTWARDS ARROW WITH HOOK
U+2A18INTEGRAL WITH TIMES SIGN
U+2A19INTEGRAL WITH INTERSECTION
U+2A1AINTEGRAL WITH UNION
U+2A1BINTEGRAL WITH OVERBAR
U+2A1CINTEGRAL WITH UNDERBAR
U+2A1DJOIN
U+2A1ELARGE LEFT TRIANGLE OPERATOR
U+2A1FZ NOTATION SCHEMA COMPOSITION
U+2A20Z NOTATION SCHEMA PIPING
U+2A21Z NOTATION SCHEMA PROJECTION
U+2A22PLUS SIGN WITH SMALL CIRCLE ABOVE
U+2A23PLUS SIGN WITH CIRCUMFLEX ACCENT ABOVE
U+2A24PLUS SIGN WITH TILDE ABOVE
U+2A25PLUS SIGN WITH DOT BELOW
U+2A26PLUS SIGN WITH TILDE BELOW
U+2A27PLUS SIGN WITH SUBSCRIPT TWO
U+2A28PLUS SIGN WITH BLACK TRIANGLE
U+2A29MINUS SIGN WITH COMMA ABOVE
U+2A2AMINUS SIGN WITH DOT BELOW
U+2A2BMINUS SIGN WITH FALLING DOTS
U+2A2CMINUS SIGN WITH RISING DOTS
U+2A2DPLUS SIGN IN LEFT HALF CIRCLE
U+2A2EPLUS SIGN IN RIGHT HALF CIRCLE
U+2A2FVECTOR OR CROSS PRODUCT
U+2A30MULTIPLICATION SIGN WITH DOT ABOVE
U+2A31MULTIPLICATION SIGN WITH UNDERBAR
U+2A32SEMIDIRECT PRODUCT WITH BOTTOM CLOSED
U+2A33SMASH PRODUCT
U+2A34MULTIPLICATION SIGN IN LEFT HALF CIRCLE
U+2A35MULTIPLICATION SIGN IN RIGHT HALF CIRCLE
U+2A36CIRCLED MULTIPLICATION SIGN WITH CIRCUMFLEX ACCENT
U+2A37MULTIPLICATION SIGN IN DOUBLE CIRCLE
U+2A38CIRCLED DIVISION SIGN
U+2A39PLUS SIGN IN TRIANGLE
U+2A3AMINUS SIGN IN TRIANGLE
U+2A3BMULTIPLICATION SIGN IN TRIANGLE
U+2A3CINTERIOR PRODUCT
U+2A3DRIGHTHAND INTERIOR PRODUCT
U+2A3EZ NOTATION RELATIONAL COMPOSITION
U+2A3FAMALGAMATION OR COPRODUCT
U+2A40INTERSECTION WITH DOT
U+2A41UNION WITH MINUS SIGN
U+2A42UNION WITH OVERBAR
U+2A43INTERSECTION WITH OVERBAR
U+2A44INTERSECTION WITH LOGICAL AND
U+2A45UNION WITH LOGICAL OR
U+2A46UNION ABOVE INTERSECTION
U+2A47INTERSECTION ABOVE UNION
U+2A48UNION ABOVE BAR ABOVE INTERSECTION
U+2A49INTERSECTION ABOVE BAR ABOVE UNION
U+2A4AUNION BESIDE AND JOINED WITH UNION
U+2A4BINTERSECTION BESIDE AND JOINED WITH INTERSECTION
U+2A4CCLOSED UNION WITH SERIFS
U+2A4DCLOSED INTERSECTION WITH SERIFS
U+2A4EDOUBLE SQUARE INTERSECTION
U+2A4FDOUBLE SQUARE UNION
U+2A50CLOSED UNION WITH SERIFS AND SMASH PRODUCT
U+2A51LOGICAL AND WITH DOT ABOVE
U+2A52LOGICAL OR WITH DOT ABOVE
U+2A53DOUBLE LOGICAL AND
U+2A54DOUBLE LOGICAL OR
U+2A55TWO INTERSECTING LOGICAL AND
U+2A56TWO INTERSECTING LOGICAL OR
U+2A57SLOPING LARGE OR
U+2A58SLOPING LARGE AND
U+2A59LOGICAL OR OVERLAPPING LOGICAL AND
U+2A5ALOGICAL AND WITH MIDDLE STEM
U+2A5BLOGICAL OR WITH MIDDLE STEM
U+2A5CLOGICAL AND WITH HORIZONTAL DASH
U+2A5DLOGICAL OR WITH HORIZONTAL DASH
U+2A5ELOGICAL AND WITH DOUBLE OVERBAR
U+2A5FLOGICAL AND WITH UNDERBAR
U+2A60LOGICAL AND WITH DOUBLE UNDERBAR
U+2A61SMALL VEE WITH UNDERBAR
U+2A62LOGICAL OR WITH DOUBLE OVERBAR
U+2A63LOGICAL OR WITH DOUBLE UNDERBAR
U+2A64Z NOTATION DOMAIN ANTIRESTRICTION
U+2A65Z NOTATION RANGE ANTIRESTRICTION
U+2A66EQUALS SIGN WITH DOT BELOW
U+2A67IDENTICAL WITH DOT ABOVE
U+2A68TRIPLE HORIZONTAL BAR WITH DOUBLE VERTICAL STROKE
U+2A69TRIPLE HORIZONTAL BAR WITH TRIPLE VERTICAL STROKE
U+2A6ATILDE OPERATOR WITH DOT ABOVE
U+2A6BTILDE OPERATOR WITH RISING DOTS
U+2A6CSIMILAR MINUS SIMILAR
U+2A6DCONGRUENT WITH DOT ABOVE
U+2A6EEQUALS WITH ASTERISK
U+2A6FALMOST EQUAL TO WITH CIRCUMFLEX ACCENT
U+2A70APPROXIMATELY EQUAL OR EQUAL TO
U+2A71EQUALS SIGN ABOVE PLUS SIGN
U+2A72PLUS SIGN ABOVE EQUALS SIGN
U+2A73EQUALS SIGN ABOVE TILDE OPERATOR
U+2A74DOUBLE COLON EQUAL
U+2A75TWO CONSECUTIVE EQUALS SIGNS
U+2A76THREE CONSECUTIVE EQUALS SIGNS
U+2A77EQUALS SIGN WITH TWO DOTS ABOVE AND TWO DOTS BELOW
U+2A78EQUIVALENT WITH FOUR DOTS ABOVE
U+2A79LESS-THAN WITH CIRCLE INSIDE
U+2A7AGREATER-THAN WITH CIRCLE INSIDE
U+2A7BLESS-THAN WITH QUESTION MARK ABOVE
U+2A7CGREATER-THAN WITH QUESTION MARK ABOVE
U+2A7DLESS-THAN OR SLANTED EQUAL TO
U+2A7EGREATER-THAN OR SLANTED EQUAL TO
U+2A7FLESS-THAN OR SLANTED EQUAL TO WITH DOT INSIDE
U+2A80GREATER-THAN OR SLANTED EQUAL TO WITH DOT INSIDE
U+2A81LESS-THAN OR SLANTED EQUAL TO WITH DOT ABOVE
U+2A82GREATER-THAN OR SLANTED EQUAL TO WITH DOT ABOVE
U+2A83LESS-THAN OR SLANTED EQUAL TO WITH DOT ABOVE RIGHT
U+2A84GREATER-THAN OR SLANTED EQUAL TO WITH DOT ABOVE LEFT
U+2A85LESS-THAN OR APPROXIMATE
U+2A86GREATER-THAN OR APPROXIMATE
U+2A87LESS-THAN AND SINGLE-LINE NOT EQUAL TO
U+2A88GREATER-THAN AND SINGLE-LINE NOT EQUAL TO
U+2A89LESS-THAN AND NOT APPROXIMATE
U+2A8AGREATER-THAN AND NOT APPROXIMATE
U+2A8BLESS-THAN ABOVE DOUBLE-LINE EQUAL ABOVE GREATER-THAN
U+2A8CGREATER-THAN ABOVE DOUBLE-LINE EQUAL ABOVE LESS-THAN
U+2A8DLESS-THAN ABOVE SIMILAR OR EQUAL
U+2A8EGREATER-THAN ABOVE SIMILAR OR EQUAL
U+2A8FLESS-THAN ABOVE SIMILAR ABOVE GREATER-THAN
U+2A90GREATER-THAN ABOVE SIMILAR ABOVE LESS-THAN
U+2A91LESS-THAN ABOVE GREATER-THAN ABOVE DOUBLE-LINE EQUAL
U+2A92GREATER-THAN ABOVE LESS-THAN ABOVE DOUBLE-LINE EQUAL
U+2A93LESS-THAN ABOVE SLANTED EQUAL ABOVE GREATER-THAN ABOVE SLANTED EQUAL
U+2A94GREATER-THAN ABOVE SLANTED EQUAL ABOVE LESS-THAN ABOVE SLANTED EQUAL
U+2A95SLANTED EQUAL TO OR LESS-THAN
U+2A96SLANTED EQUAL TO OR GREATER-THAN
U+2A97SLANTED EQUAL TO OR LESS-THAN WITH DOT INSIDE
U+2A98SLANTED EQUAL TO OR GREATER-THAN WITH DOT INSIDE
U+2A99DOUBLE-LINE EQUAL TO OR LESS-THAN
U+2A9ADOUBLE-LINE EQUAL TO OR GREATER-THAN
U+2A9BDOUBLE-LINE SLANTED EQUAL TO OR LESS-THAN
U+2A9CDOUBLE-LINE SLANTED EQUAL TO OR GREATER-THAN
U+2A9DSIMILAR OR LESS-THAN
U+2A9ESIMILAR OR GREATER-THAN
U+2A9FSIMILAR ABOVE LESS-THAN ABOVE EQUALS SIGN
U+2AA0SIMILAR ABOVE GREATER-THAN ABOVE EQUALS SIGN
U+2AA1DOUBLE NESTED LESS-THAN
U+2AA2DOUBLE NESTED GREATER-THAN
U+2AA3DOUBLE NESTED LESS-THAN WITH UNDERBAR
U+2AA4GREATER-THAN OVERLAPPING LESS-THAN
U+2AA5GREATER-THAN BESIDE LESS-THAN
U+2AA6LESS-THAN CLOSED BY CURVE
U+2AA7GREATER-THAN CLOSED BY CURVE
U+2AA8LESS-THAN CLOSED BY CURVE ABOVE SLANTED EQUAL
U+2AA9GREATER-THAN CLOSED BY CURVE ABOVE SLANTED EQUAL
U+2AAASMALLER THAN
U+2AABLARGER THAN
U+2AACSMALLER THAN OR EQUAL TO
U+2AADLARGER THAN OR EQUAL TO
U+2AAEEQUALS SIGN WITH BUMPY ABOVE
U+2AAFPRECEDES ABOVE SINGLE-LINE EQUALS SIGN
U+2AB0SUCCEEDS ABOVE SINGLE-LINE EQUALS SIGN
U+2AB1PRECEDES ABOVE SINGLE-LINE NOT EQUAL TO
U+2AB2SUCCEEDS ABOVE SINGLE-LINE NOT EQUAL TO
U+2AB3PRECEDES ABOVE EQUALS SIGN
U+2AB4SUCCEEDS ABOVE EQUALS SIGN
U+2AB5PRECEDES ABOVE NOT EQUAL TO
U+2AB6SUCCEEDS ABOVE NOT EQUAL TO
U+2AB7PRECEDES ABOVE ALMOST EQUAL TO
U+2AB8SUCCEEDS ABOVE ALMOST EQUAL TO
U+2AB9PRECEDES ABOVE NOT ALMOST EQUAL TO
U+2ABASUCCEEDS ABOVE NOT ALMOST EQUAL TO
U+2ABBDOUBLE PRECEDES
U+2ABCDOUBLE SUCCEEDS
U+2ABDSUBSET WITH DOT
U+2ABESUPERSET WITH DOT
U+2ABFSUBSET WITH PLUS SIGN BELOW
U+2AC0SUPERSET WITH PLUS SIGN BELOW
U+2AC1SUBSET WITH MULTIPLICATION SIGN BELOW
U+2AC2SUPERSET WITH MULTIPLICATION SIGN BELOW
U+2AC3SUBSET OF OR EQUAL TO WITH DOT ABOVE
U+2AC4SUPERSET OF OR EQUAL TO WITH DOT ABOVE
U+2AC5SUBSET OF ABOVE EQUALS SIGN
U+2AC6SUPERSET OF ABOVE EQUALS SIGN
U+2AC7SUBSET OF ABOVE TILDE OPERATOR

…and 56 more characters.