U+2A65 • symbol
Symbol used in Z notation called Range Antirestriction. This symbol appears in formal specification contexts, especially within the Z notation, to represent operations on the range of functions or relations.
The Symbol For Z Notation Range Antirestriction (⩥) 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
symbolz-notationformal-specificationrangeantirestrictionmathematicslogicnotationformal-methodssystemCopy the Z Notation Range Antirestriction dymbol to your clipboard to use on Twitter, Instagram, Discord and more in one click.
⩥ Click to copy