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 |
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 ⨾).