Your Collection
Your collection items will appear here.
Login to download collections
Z Notation Relational Composition Symbol

Z Notation Relational Composition ⨾

U+2A3E • computer-science

Z Notation Relational Composition Symbol

Z Notation Relational Composition (⨾) is a symbol used in the Z notation, a formal specification language in computer science, to denote relational composition. This operation composes two relations to form a new relation, fundamental in formal methods and software specification. The symbol visually represents this composition operation.

The Symbol For Z Notation Relational Composition (⨾) is a unicode character in the Basic Multilingual Plane Plane. It is found in the Supplemental Mathematical Operators block and was approved as part of Unicode Version 3.2 in 2002

computer-scienceformal-methodsz-notationrelational-compositionoperatorspecificationsoftwaresymbolmathematicslogic

Copy and paste the Z Notation Relational Composition Symbol

Copy the Z Notation Relational Composition dymbol to your clipboard to use on Twitter, Instagram, Discord and more in one click.

⨾ Click to copy
  • Full Name: Z Notation Relational Composition
  • Plane: Basic Multilingual Plane
  • Block: Supplemental Mathematical Operators
  • Unicode: U+2A3E
  • Unicode Version: 3.2
  • Year Added: 2002