✦free-symbols

Results for “formal methods notation”

6 symbols found · Click to copy

⦂Z Notation Type Colon⦊Z Notation Right Binding Bracket⨡Z Notation Schema Projection⨾Z Notation Relational Composition⩤Z Notation Domain Antirestriction⋿Z Notation Bag Membership