Your Collection
Your collection items will appear here.
Login to download collections
Z Notation Domain Antirestriction Symbol

Z Notation Domain Antirestriction ⩤

U+2A64 • symbol

Z Notation Domain Antirestriction Symbol

Symbol used in Z notation called Domain Antirestriction. It is a specialized symbol in formal specification languages, particularly in the Z notation for describing system properties and domain manipulations.

The Symbol For Z Notation Domain 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-specificationdomainantirestrictionmathematicslogicnotationformal-methodssystem

Copy and paste the Z Notation Domain Antirestriction Symbol

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

⩤ Click to copy
  • Full Name: Z Notation Domain Antirestriction
  • Plane: Basic Multilingual Plane
  • Block: Supplemental Mathematical Operators
  • Unicode: U+2A64
  • Unicode Version: 3.2
  • Year Added: 2002