Detexify moved. Continue to the Detexify symbol table.