[Agda] \ell does not display

[Pierre Lescanne (en)]

I switched to  elpa-agda2-mode in emacs and the character \ell (i.e., 
|ℓ||)| does not display.

-- 
Regards,


Pierre Lescanne

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