Difference between revisions of "TeX notation filter"