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