TeX reader:  folded escapes int symbols, proper treatment of "\ ".

Previously "\ " was parsed as a symbol " ", now it is parsed as
a medium math space.