[Agda] \ell does not display

[Pierre Lescanne]

Indeed, this affects only the default font.   But I did not find a good 
substitute for the default font.

Le 21/08/2020 à 13:42, Nils Anders Danielsson a écrit :
> 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?
>
-- 
Cordialement,

---------------------------
Pierre Lescanne
---------------------------