标签： keyboard-shortcuts agda
Agda中的重言式和矛盾符号（T和倒置T）的键盘快捷键是什么？这个广泛的快捷方式列表似乎并没有显示如何制作它们： http://people.inf.elte.hu/divip/AgdaTutorial/Symbols.html#1 我试过\ T和其他人，但没有任何作用。
答案 0 :(得分：3)
快捷符号是\ top和\ bot。