Detexify moved. Continue to detexify.kirelabs.org.