On 2 Dec, 2008, at 10:51, Roberto Avanzi wrote: > it would probably almost meaningless to have an english grammar > checker that must work with mathematical english Maybe you already know this, but anyway... http://www-cs-faculty.stanford.edu/~knuth/klr.html You can download the TeX source. Best, Axel