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