
<html>

  <head>

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

  </head>

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

    <div class="moz-cite-prefix">On 18/02/2022 09:43, Vincent Lefevre

      wrote:<br>

    </div>

    <blockquote type="cite"

      cite="mid:20220218094330.GE44193@zira.vinc17.org">

      <pre class="moz-quote-pre" wrap="">On 2022-02-18 09:12:01 +0000, Philip Taylor (Royal Holloway) wrote:

</pre>

      <blockquote type="cite">

        <pre class="moz-quote-pre" wrap="">Lamport's book is entirely clear on the supported syntax for sub-

and superscripts.</pre>

      </blockquote>

    </blockquote>

    <p>Damn it, Sir, I most certainly did not — those words are

      attributable to Joseph Wright, not to me !</p>

    <p>-- <br>

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

    </p>

  </body>

</html>