✦free-symbols

Results for “formal methods”

9 symbols found · Click to copy

⋿Z Notation Bag Membership⦂Z Notation Type Colon⦇Z Notation Left Image Bracket⦊Z Notation Right Binding Bracket⨟Z Notation Schema Composition⨠Z Notation Schema Piping⨡Z Notation Schema Projection⨾Z Notation Relational Composition⩤Z Notation Domain Antirestriction