[Agda] \ell does not display

[Pierre Lescanne (en)]

Actually |ℓ displays in all the buffers as a space.
|

Le 18/08/2020 à 22:03, Nils Anders Danielsson a écrit :
> On 2020-08-15 19:32, Pierre Lescanne (en) wrote:
>> I switched to elpa-agda2-mode in emacs and the character \ell (i.e.,
>> ℓ) does not display.
>
> If a glyph is not available in the default font, then Emacs typically
> tries to pick a glyph from some other font. Does ℓ display properly in
> other Emacs buffers?
>
-- 
Regards,

---------------------------
Pierre Lescanne
---------------------------

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20200820/995c694e/attachment.html>