[Agda] L and inverted L characters

Philippe de Rochambeau phiroc at free.fr
Tue Apr 14 21:20:16 CEST 2020


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


More information about the Agda mailing list