HomeIsabelle/Phabricator

more glyphs proposed by Simon Foster: 0x002713, 0x002717, 0x002af4, 0x002afb…

Description

more glyphs proposed by Simon Foster: 0x002713, 0x002717, 0x002af4, 0x002afb, 0x002afd;
corresponding symbols and latex macros;

Details

Provenance
makariusAuthored on
Parents
rISABELLEee1c4962671c: more lemmas
Branches
Unknown
Tags
Unknown