如何在SpaceMac中取代unicode?

如何在SpaceMac中取代unicode?,unicode,emacs,agda,spacemacs,agda-mode,Unicode,Emacs,Agda,Spacemacs,Agda Mode,我使用spacemacs for agda,通过unicode功能,可以直接使用unicode编程。但是,不能使用传统的vim操作来替代unicode 例如,如果我在agda文件中有一个\Sigma,我想用\Sigma'替换它?如果我尝试:%s/\Sigma,后面会有一个红色的[不匹配]。我怎样才能克服这个问题 另外,如何在stackoverflow帖子中包含unicode和/或Latex?我建议将关于stackoverflow中unicode/Latex的问题与主要问题分开发布(可能在meta

我使用spacemacs for agda,通过unicode功能,可以直接使用unicode编程。但是,不能使用传统的vim操作来替代unicode

例如,如果我在agda文件中有一个
\Sigma
,我想用
\Sigma'
替换它?如果我尝试
:%s/\Sigma
,后面会有一个红色的
[不匹配]
。我怎样才能克服这个问题


另外,如何在stackoverflow帖子中包含unicode和/或Latex?

我建议将关于stackoverflow中unicode/Latex的问题与主要问题分开发布(可能在meta.stackoverflow上)。我建议将关于stackoverflow中unicode/Latex的问题与主要问题分开发布(可能在meta.stackoverflow上)。