A semantic Extension of TeX/LaTeX