unicode_font

在字体之间转换Unicode字符。

Unicode标准附录#44定义了字符分解映射。特别是，字符被赋予一个<font>标签来指示某些字符是其他字符的字体变体。在这些变体之上，我们添加了仔细挑选的变体，如上标、下标和平方。此扩展默认包含在内，可以关闭。

特性

• 符合标准
  • 我们遵循Unicode标准附录#44
  • 此映射的添加可以关闭
• 数据库驱动
  • 代码由CSV文件生成
• 哈希查找
  • 我们使用完美的哈希函数进行查找，通常比有序表的二分查找快

类似项目

• YayText
  • 在线工具，用于转换多种Unicode样式
• sprezz键盘
  • 在线工具，用于转换多种Unicode样式
• Unicode玩具
  • 将纯文本转换为Unicode中的神秘字符

构建

我们使用一个构建脚本，该脚本考虑了unidata文件夹。脚本是该crate builder。运行此crate以更新unicode_font的映射。

我们选择此策略而不是构建脚本build.rs，以加快依赖crates的编译速度。

资源

• 关于Unicode数学的技术报告
  • 使用数学Unicode字符的指南