I'm working through a paper that uses the middle-dot character in Agda code. I'd like to be able to type it up without copy/paste. How can I enter it with agda-mode?
I've tried typical resources such as
\cdot gives you · and \. gives you ∙ (these are different symbols).
If you can copy/paste a character, then you can discover how to type it by choosing the "Agda/Information about the character at point" option in menu (or using M-x describe-char) and looking at the to input: section.