查找给定符号的 MMT Unicode 缩写（例如给定 ☞，查找 "juri"）
Find MMT Unicode abbreviations for given symbol (e.g. given ☞, find "juri")
MMT 的常用 IDEs/editors（例如 IntelliJ + MMT plugin or jEdit）具有某些有用的 Unicode 字符的自动完成功能。例如，我可以键入 jle 并立即得到建议 jleftrightarrow，自动完成后，替换为 ↔.
有没有办法找出反向关联？例如。我手边有符号 ☞，想知道以 j 开头的自动完成缩写——如果它存在的话。对于那手牌，我会得到 juri.
据我所知，目前没有很好的方法来查找或搜索 ASCII 缩写，除了直接寻找来源——至少有保证是 up-to-date.
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 中提取（副本）。
MMT 的常用 IDEs/editors（例如 IntelliJ + MMT plugin or jEdit）具有某些有用的 Unicode 字符的自动完成功能。例如，我可以键入 jle 并立即得到建议 jleftrightarrow，自动完成后，替换为 ↔.
有没有办法找出反向关联？例如。我手边有符号 ☞，想知道以 j 开头的自动完成缩写——如果它存在的话。对于那手牌，我会得到 juri.
据我所知，目前没有很好的方法来查找或搜索 ASCII 缩写，除了直接寻找来源——至少有保证是 up-to-date.
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 中提取（副本）。