BEARBEITEN Eines der dreizehn eigens für die Z-Notation in Unicode codierten Zeichen.
Der Name der Z-Notation geht auf den Mathematiker Ernst Zermelo zurück.

Quelle: ISO/IEC 13568, Information technology — Z formal specification notation — Syntax, type system and semantics, First edition 2002-07-01

 jb