3 ms·
Most latex symbols are named after their shape (e.g. \nabla or \Rightarrow) rather than their meaning or just one of their meanings (e.g. \times or \frac or \ov
by dan-robertson 5y ago
Most latex symbols are named after their shape (e.g. \nabla or \Rightarrow) rather than their meaning or just one of their meanings (e.g. \times or \frac or \over or \binom). So I’m not sure detexify really helps that much.
- thewakalix 5y agoAt the very least, text is more searchable.