Encode & decode TeX during decompiling and loading respectively ..

Symbols like + do not transmit well over the internet. They need to be
escaped first