prefer explicit \<Zproject> (with its own Unicode codepoint);
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEd1c4c2395650: more Isabelle symbol definitions for Z Notation, based on https://github.
- Branches
- Unknown
- Tags