[Agda] \ell does not display

[Nils Anders Danielsson]

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