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