updating regex.tex in theory