A LaTeX validator/translator for TeX strings embedded in wikitext