<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<div class="moz-cite-prefix">Reinhard Kotucha wrote:<br>
<br>
</div>
<blockquote type="cite" cite="mid:23893.59368.831834.211337@gargle.gargle.HOWL">
<pre wrap="">[...] it's quite unlikely that poeple use macros like
\reorder, hence the benefit is quite small.</pre>
</blockquote>
<br>
I agree that the \reorder macro is pathological in its behaviour, but this is deliberate — it was intended just as a demonstration that what goes in is not necessarily what comes out.  But as I write, I realise that even spell-checking the DVI/PDF is not necessarily
 sufficient, since one could ( for example) \raise and \lower fragments of text to create seemingly perfect words on-screen (or on paper) which in reality do not exist as words (<i>qua</i> words) in either the TeX source or the DVI/PDF output. So, for 99% of
 cases, spell-checking the TeX source should suffice; for 99.9%, spell-checking the DVI/PDF, but for 99.9% recurring one would need integrated OCR as well.<br>
<br>
Philip Taylor<br>
</body>
</html>