现代志怪故事《女娲补上镜图》

所谓 上境图 是指函数图像和它的上方构成的图像。女娲补上境图是指把上境图变成它的闭凸包，这对应于求函数的凸包络，如下图。

这个社区对数学兴趣不是很大，还是说说《女娲补上境图》里的可访问性 (accessibility) 吧。

阅读数学公式

我最近给 blog 的 Markdown 编译器增加了一个新功能：允许用一种快捷的语法给数学公式增加读法。例如先前编译

设 `math:f\in\mathcal{C}\left(\mathbb{R}^n\right)`，那么……

出来的内容很难用读屏器读懂。现在增加了一个语法：

设 `math:\@arialabel{{f 是 n 维欧式空间上的连续可微函数}}f\in\mathcal{C}\left(\mathbb{R}^n\right)`，那么……

编译出来的内容在原先的 f\in\mathcal{C}\left(\mathbb{R}^n\right) 外面套了一层 <span role="math" aria-label="f 是 n 维欧式空间上的连续可微函数"></span>，这样读屏器就可以把数学公式按照自然语言都出来了。

目前的问题

• 数学公式输入工作量大幅度增加，因为需要人工指定一个读公式的方法。
• macOS 上用 Safari 浏览时，VoiceOver 不能正确读出 math 角色的 aria-label；而 Windows 讲述人和 iOS VoiceOver 都可以，所以我觉得这是 macOS VoiceOver 的 bug，而且标准也 明确举了这样用的例子。

下面是广告时间。

《女娲补上境图》

《元博客》（博客构建器的更新记录）

顺便一说，《女娲补上境图》最后一个公式的读法是这样的：

f-of-x minus g-of-x is greater than or equal to f-star-star-of x minus g-of-x,
greater than or equal to lambda times f-star-star-of-x minus g-of-x,
equal to lambda times f-star-star-of-x minus g-of-x plus one-minus-lambda times f-star-star-of-y minus g-of-y,
greater than or equal to f-star-star-of-z minus g-of-z,
greater than or equal to s,
hence greater than or equal to t.