Detexify: draw a symbol to find the corresponding TeX command · HackerTrans