[英]How do I enter '·' (middle dot) in agda-mode?
\\cdot
給您·
和\\.
給您∙
(這些是不同的符號)。
如果可以復制/粘貼字符,則可以通過選擇菜單中的“ Agda /有關該點的字符的信息”選項(或使用Mx describe-char
)並查看to input:
部分來發現如何鍵入它。
聲明:本站的技術帖子網頁,遵循CC BY-SA 4.0協議,如果您需要轉載,請注明本站網址或者原文地址。任何問題請咨詢:yoyou2525@163.com.