texmath-0.7: tests/writers/semantics-01.tex

123