Detexify moved. Continue to
the Detexify symbol table
.