<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body>
<p><font face="Helvetica, Arial, sans-serif">Actually </font><code
class="docutils literal notranslate"><span class="pre"><font
face="Helvetica, Arial, sans-serif">ℓ displays in all the
buffers as a space. </font><br>
</span></code></p>
<div class="moz-cite-prefix">Le 18/08/2020 à 22:03, Nils Anders
Danielsson a écrit :<br>
</div>
<blockquote type="cite"
cite="mid:9c2abfc1-9caa-addb-292e-51d8449c9cbc@cse.gu.se">On
2020-08-15 19:32, Pierre Lescanne (en) wrote:
<br>
<blockquote type="cite">I switched to elpa-agda2-mode in emacs and
the character \ell (i.e.,
<br>
ℓ) does not display.
<br>
</blockquote>
<br>
If a glyph is not available in the default font, then Emacs
typically
<br>
tries to pick a glyph from some other font. Does ℓ display
properly in
<br>
other Emacs buffers?
<br>
<br>
</blockquote>
<pre class="moz-signature" cols="72">--
Regards,
---------------------------
Pierre Lescanne
--------------------------- </pre>
</body>
</html>