U+2A65 "⩥" Z Notation Range Antirestriction Unicode Character

U+2A65 "⩥" Z Notation Range Antirestriction is a mathematical symbol from the Z notation specification language, used to denote the operation of removing a restriction from a function or relation. In formal methods, restriction applies a domain or range condition that limits a relation, and the antirestriction symbol reverses this by excluding that condition, effectively specifying the part of the relation that was not previously selected. This character supports precise expression in highly formal contexts like computer science and software engineering, where Z notation models system properties and constraints.