缩写模式使向Agda添加特殊符号变得非常容易，包括为经常使用的复杂符号引入手工缩写。由于缩写模式，一些用户增加了特殊符号的使用。（实施者告诉我们，他们不鼓励使用缩写模式，并遵循如何编写Unicode字符。原因是您不能在迷你缓冲区中使用缩写，这会阻止您搜索这些符号。然而，当使用query-replace时，可以通过使用剪切和粘贴轻松解决问题。）
缩写模式是使用Emacs-package“mule”，它在遵循Agda的Emacs模式的安装说明时被激活。
- 要激活Emacs中的缩写模式，请使用以下命令
M-x缩写-模式。在此模式下，任意字符序列（由空格和一些标点符号包围）将自动替换为其他字符。例如，如果我们想要和扩展到∧我们执行以下操作：
- 我们输入
和. - 我们使用emacs命令
C-x邮箱
- 我们在迷你缓冲区中输入我们想要的扩展，即∧（输入时使用mule as
\楔子).
现在，每当我们键入类似空格的字符（空格和一些标点符号），后跟和后跟一个类似空格的字符，然后和替换为∧。
- 您可以使用
M-x编辑-编辑（完成使用后抄送抄送以激活您的定义）。 - 您可以使用
C-q型在后面添加任何空格字符之前和.
在您的.emacs（电子邮件）加载Agda的行之后的文件：
（read-abbrev-file“~/.abrev_defs”）（添加hook“agda2-mode-hook”缩写-模式）
这些命令加载以前的缩写，并在退出Agda时保存它们。每当输入Agda文件时，它们也会激活缩写模式。然而，要使其生效，您需要首先创建一个文件~/.abbrev_defs，这可以通过以下步骤完成：
- 如上所述定义至少一个缩写（您可以稍后使用
M-x编辑-编辑). 例如，您可以只输入fooo，输入C-x邮箱，然后键入Mini-buffer foo，以便将foo扩展为foo。 - 然后执行
M-x写缩写文件，当要求输入文件名时，输入mini-buffer~/.abrev_defs - 现在执行
M-x读取缩写文件，当要求输入文件名时，输入mini-buffer~/.abrev_defs - 如果您现在创建一个新缩写，并运行
C-x秒这是保存所有缓冲区的命令，它还会询问您是否要保存缩写文件。
Agda自动添加缩写请注意，Agda会自动添加某些缩写。为了关闭它们，执行M-x定制组然后阿格达2然后更改选项Agda2模式缩写使用默认值：到否.
缩写模式的一般文档。有关更多详细信息，请参阅Emacs的文档Emacs中的缩写模式，也可通过C-h i公司然后切换到Emacs的文档，并在那里找到缩写。（您需要使用您的发行版Emacs-documentation包在Linux安装下安装Emacs的文档）。