OpenType 字体格式是否支持可扩展箭头（如\xrightarrow）？如果是，那么 的工作是否应该unicode-math在 TeX 中提供此功能？
此功能除了本身有用之外，还可能产生以下有趣的副产品。如果字体将各种箭头的尖端和尾部作为单独的字形提供，那么绘图程序（包括 TikZ，尽管它声称不是这样的程序）将能够使用它们来创建箭头与文档主字体中的箭头相匹配的图形。（我特别感兴趣的是创建交换图，它实际上就像任何数学公式一样，看起来也应该如此，但通常需要通用绘图包才能绘制。）
为了使一切完全自动化，绘图程序还需要访问一些参数，例如箭头线的宽度。OpenType 可以适应这一点吗？
答案1
回答你的第一个问题，是的，OpenType 字体可以具有水平扩展的字形，包括箭头，但目前 XeTeX 没有适当的基元来使用此类箭头，因此它们目前只能与 LuaTeX 一起使用。此功能（和其他 OpenType 数学功能）计划在 TeXLive 2013 中为 XeTeX 提供。
至于另一个问题，我认为这是不可能的。宏包没有简单的方法可以知道哪个字形代表箭头的头部，而且头部并不总是分开的（大多数情况下，基础箭头是通过添加可扩展部分来扩展的，因此没有单独的头部）。