(TXT) README
 (TXT) _tex2tok.tex
 (TXT) helper.py
 (TXT) tex2tok.tex