more Z_Notation symbols, as proposed by Simon Foster;

some LaTeX-art based on tex.stackexchange "How do you make a square element symbol (\in)";

# Description

Description

# Details

Details

- Provenance
makarius Authored on - Parents
- rISABELLE519ce76a602f: more accurate glyphs 0x25C1 / 0x25B7, based on 0x2A64 / 0x2A65 minus theā¦
- Branches
- Unknown
- Tags