[Agda] \ell does not display

Pierre Lescanne (en) pierre.lescanne at ens-lyon.fr
Sat Aug 15 19:32:34 CEST 2020


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>


More information about the Agda mailing list