<html>
  <head>

    <meta http-equiv="content-type" content="text/html; charset=UTF-8">
  </head>
  <body>
    <p>I switched to  elpa-agda2-mode in emacs and the character \ell
      (i.e., <code class="docutils literal notranslate"><span
          class="pre">ℓ</span></code><code class="docutils literal
        notranslate"><span class="pre">)</span></code> does not
      display.  <br>
    </p>
    <pre class="moz-signature" cols="72">-- 
Regards,


Pierre Lescanne
</pre>
  </body>
</html>