<html>

  <head>

    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">

  </head>

  <body>

    <font size="-1"><br>

      Yeah, I eventually discovered that--the problem seems to be in

      pdfjadetx, not pdftex.  I've no idea if there's any relationship

      between those two apps.  (So this whole discussion is in the wrong

      place--sorry, 'bout that, folks.)</font><br>

    <br>

    <div class="moz-cite-prefix">On 2020-05-24 18:47, Karl Berry wrote:<br>

    </div>

    <blockquote type="cite"

      cite="mid:202005242247.04OMlmwh031332@freefriends.org">

      <pre class="moz-quote-pre" wrap="">     \Character{8253} 

I'd just like to mention that \Character is not a pdftex primitive.

I surmise the issue is with the packages (whatever they are) that

you're using. As far as I can tell from the descriptions, the problem is

not with pdftex (the program) itself. --best, karl.

</pre>

    </blockquote>

    <br>

  </body>

</html>