[Agda] \ell does not display

Nils Anders Danielsson nad at cse.gu.se
Tue Aug 18 22:03:48 CEST 2020


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?

-- 
/NAD


More information about the Agda mailing list