<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>