Z Notation Relational Composition Symbol
⨾ denotes relational composition in Z notation.
U+2A3E
⨾ is a math symbol used in the Z notation family to express relational composition. It helps formalize how two relations are combined. You can copy it directly or insert it using common Unicode escapes.
Z Notation Relational Composition Symbol Meaning
The symbol ⨾ is named “Z notation relational composition” (Unicode code point U+2A3E). In formal specification contexts, relational composition combines two relations to form a new relation based on how outputs of the first relate to inputs of the second. Writers use it to precisely describe transformation chains, constraints, and behaviors in specification languages and related mathematical notation. When you’re writing documentation, notes, or specs, using the correct glyph (rather than approximations) improves readability and reduces ambiguity for readers who expect Z-notation style symbols. It’s primarily a notation symbol for math/spec writing rather than everyday typography.
Common uses
- •Writing Z-notation specifications that require relational composition between two relations
- •Documenting formal methods steps in engineering or research notes
- •Annotating diagrams or pseudocode to show how relations are composed
- •Teaching or explaining relational reasoning in specification-style courses
- •Typing math/spec text in editors and web pages where Unicode math symbols are preferred
Examples
⨾ Z notation relational composition
- ⨾R ⨾ S
- ⨾Let T = R ⨾ S in the specification.
- ⨾The composed relation is ⨾-combined from two given relations.
- ⨾We compute the behavior using R ⨾ S and then apply constraints.
- ⨾In the rule, replace R and S with their relational composition ⨾.
Variations
Ready to copy
Technical codes
| Unicode | U+2A3E | |
| HTML Entity | ⨾ | |
| HTML Code | ⨾ | |
| CSS | \2A3E | |
| Alt Code | Alt + 10814 | |
| Decimal | 10814 |
How to type Z Notation Relational Composition Symbol (⨾)
On Windows
Hold Alt and type 10814 on the numeric keypad. In Word, type 2A3E then press Alt + X.
On Mac
Switch to the Unicode Hex Input keyboard, then hold Option and type 2A3E. Or press Control + Command + Space and search.
On Linux
Press Control + Shift + U, type 2a3e, then press Enter or Space.
Anywhere
Copy ⨾ with the button above and paste it wherever you need it — this works on every device and in every app, with no keyboard shortcut to remember.
FAQ
What does ⨾ mean?
⨾ is the “Z notation relational composition” symbol. It represents relational composition in Z-notation style formal specifications.
How do I copy ⨾ into my document?
Copy the character ⨾ directly from this page, or paste it from an editor that supports Unicode.
What is the Unicode code point for ⨾?
The Unicode code point for ⨾ is U+2A3E.
What are the common ways to type it in code?
Use the provided escapes: CSS escape \\2A3E or JavaScript escape \\u{2A3E} (and the HTML entity ⨾).