[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