agdaモードで「・」（中点）を入力するにはどうすればよいですか？

Question

私はAgdaコードで中ドット文字を使用するpaperを使って作業しています。私はコピー/貼り付けなしでそれを入力することができるようにしたいと思います。どうやってagda-modeで入力できますか？私は、このような

• http://agda.readthedocs.io/en/latest/tools/emacs-mode.html
• http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Docs.UnicodeInput

Answer 1

\cdotとして典型的なリソースを試してみた

は（これらは異なる記号である）あなたに∙を与えるあなた·と\.を与えます。

文字をコピーして貼り付けることができる場合は、メニュー内の「Agda /点に関する情報」オプション（M-x describe-charを使用）を選択し、to input:セクションを見て入力方法を知ることができます。