查找给定符号的MMT Unicode缩写例如，给定☞，找到“ juri”

MMT的常规IDE /编辑器（例如IntelliJ + MMT plugin或jEdit）具有针对某些有用的Unicode字符的自动完成功能。例如，我可以键入 j l e 并立即得到建议jleftrightarrow，该文件在自动补全后会被{{1 }}。

有没有办法找出反向关联？例如。我手头有一个符号↔，想知道以☞开头的自动补全缩写-如果存在的话。那只手，我会得到j。

据我所知，目前没有找到或搜索ASCII缩写的好方法，除了直接寻找源代码外，这至少有一个优点，就是可以保证它是最新的。日期。

所有的IDE插件都可以访问mmt.jar并从嵌入其中的特定资源文件中加载其缩写。您可以在GitHub上找到它：https://github.com/UniFormal/MMT/blob/master/src/mmt-api/resources/unicode/unicode-latex-map。

从长远来看，我们应该考虑使用第三个提供简短说明的“字段”扩展该文件，例如IntelliJ中有一个文本字段来搜索特定的缩写。

我开发的MMT OnlineTools允许这样做：https://comfreek.github.io/mmteditor。

请参见下面的屏幕截图：如果您已经有一个不知道如何键入的充满Unicode符号的字符串，只需将其粘贴到“我如何键入X？” 下。而且，如果您要查找特定的缩写（按Unicode字符或名称的一部分），请使用“缩写搜索” 功能。

内部，我的工具从Dennis在其答案中链接的同一resource file中提取（副本）。