[Agda] L and inverted L characters

Philippe de Rochambeau phiroc at free.fr
Tue Apr 14 21:53:31 CEST 2020


Typing \lfloor in emacs did the trick. Many thanks, Andreas.

>> 
>> On 4/14/20 9:45 PM, Andreas Abel wrote:
>>> 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
>>>> 
>>> _______________________________________________
>>> Agda mailing list
>>> Agda at lists.chalmers.se
>>> https://lists.chalmers.se/mailman/listinfo/agda
>> _______________________________________________
>> Agda mailing list
>> Agda at lists.chalmers.se
>> https://lists.chalmers.se/mailman/listinfo/agda
> 
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda



More information about the Agda mailing list