Detexify is another one that's been around for many years (at least 5 at this point) and has saved me hours: http://detexify.kirelabs.org/classify.html http://d

Detexify is another one that's been around for many years (at least 5 at this point) and has saved me hours: http://detexify.kirelabs.org/classify.html http://detexify.kirelabs.org/classify.html