reviewed 11-regex.tex for publication