D detexify.kirelabs.org Detexify: handwritten symbol recognition 91 points zrm 10 years ago 15 comments