[Agda] L and inverted L characters

[Andreas Abel]

You mean \lfloor and \rfloor ?  (Just like in LaTeX.)

On 2020-04-14 21:20, Philippe de Rochambeau wrote:
> Hello,
> in a paper entitled « The Power of Pi », the authors use two characters that look like a capital L and an inverted capital L, respectively.
> Are these characters still used in Agda 2.6? If so, what are their names and how do you input them in Emacs?
> Many thanks.
> Cheers,
> Philippe
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>