Comment on \d less efficient than [0-9]Comments−dbbolton13yWhat is the need for those "mathematical monospace/bold/sans" characters? Should that be a font issue?−claudius13yFonts are about different representations of the same symbols. Monospace/bold/sans are different symbols in mathematics.
Comments
What is the need for those "mathematical monospace/bold/sans" characters? Should that be a font issue?
Fonts are about different representations of the same symbols. Monospace/bold/sans are different symbols in mathematics.