[Agda] \ell does not display

Nils Anders Danielsson nad at cse.gu.se
Fri Aug 21 13:42:41 CEST 2020


On 2020-08-20 18:18, Pierre Lescanne (en) wrote:
> Actually ℓ displays in all the buffers as a space.

Have you tried switching to a different font?

-- 
/NAD


More information about the Agda mailing list