<div dir="ltr">> <span class="gmail-im">
</span>I think that the validity of that observation hinges on the interpretation of "an input character".<div class="gmail_extra"><br></div><div class="gmail_extra">Oh yes, that's the distinction I intended (but perhaps didn't state well), " is legal syntax in lots of constructions but never as a character to be passed straight through from the input to be typeset.</div><div class="gmail_extra"><br></div><div class="gmail_extra">David</div><div class="gmail_extra"><br></div></div>