sed -e 's/	/    /g' -e 's/\\/&(&backslash&)/g' -e 's/[{}]/\\&/g' -e 's/~/{\\Twiddle}/g' -e 's/\^/{\\Hat}/g'\
	-e 's/\$/\\$/g' -e 's/@/{\\At}/g' -e 's/_/\\_/g'
