fixed tptp escape for simple names to support integers unescaped
fixed tptp escape for simple names to support integers unescaped

lex-lex/Leo-III,leoprover/Leo-III,leoprover/Leo-III,lex-lex/Leo-III,leoprover/Leo-III,lex-lex/Leo-III