“Detexify” should probably be added to the title. I thought it would be something new and was wondering what this would solve that Detexify couldn’t. Detexify

“Detexify” should probably be added to the title. I thought it would be something new and was wondering what this would solve that Detexify couldn’t. Detexify is a trusty tool I’ve taken for granted for almost a decade. Saved me a lot of searching countless times. (Apparently I can’t recognize the domain, though.)