Comment on \d less efficient than [0-9]parentComments−claudius13yFonts are about different representations of the same symbols. Monospace/bold/sans are different symbols in mathematics.
Comments
Fonts are about different representations of the same symbols. Monospace/bold/sans are different symbols in mathematics.