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>