further clarification of Z Notation symbols (notably glyphs 0x2119, 0x2A1F, 0x2982, 0x2A3E), by Simon Foster;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE0cc9c2d43957: clarified \<Zcomp> (small) vs. \<Zsemi> (big);
- Branches
- Unknown
- Tags