
<html>

  <head>

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

  </head>

  <body text="#000000" bgcolor="#FFFFFF">

    <div class="moz-cite-prefix">You don't appear to be using <tt><font

          size="+1">\gpfam</font></tt>, Gérald — will not the following

      suffice ?</div>

    <p><tt><br>

      </tt><tt>\font \tengp = cmmib10</tt><br>

      <tt>\def \gp {\textfont 1 = \tengp}</tt><br>

      <tt>\def \gth {\hbox {$\gp \vartheta $}}</tt><br>

      <tt>$\gth \neq \vartheta $</tt><br>

      <tt>\end</tt></p>

    <p>-- <br>

      <i>Philip Taylor</i><br>

    </p>

  </body>

</html>