MathML集合构造符号中竖线应选用U+007C还是U+2223？

在LaTeX中，我们常用\{ x \mid x \in X \land \Phi(x) \}来表示集合构造符号，对应的MathML代码如下：

<mo>{</mo>
<mi>x</mi>
<mo>|</mo>
<mi>x</mi>
<mo>∈</mo>
<mi>X</mi>
<mo>∧</mo>
<mi>Φ</mi>
<mo>&af;</mo>
<mo>(</mo>
<mi>x</mi>
<mo>)</mo>
<mo>}</mo>

问题 #

请问在MathML中编写集合构造符号时，竖线应使用U+007C |还是U+2223 ∣？

解答 #

• 优先选用U+2223 ∣，这是专门为数学场景定义的“条件竖线/除号”符号，语义上完全匹配集合构造中“满足条件”的含义，排版时会自动适配数学公式的标准间距。
• U+007C |属于ASCII文本符号，原本用于文本分隔、命令管道等场景，在数学公式中使用时，渲染引擎无法自动识别其数学语义，容易出现间距不合理的问题，规范性不足。
• 结合MathML的<mo>元素特性，使用U+2223能让引擎更准确识别符号用途，确保公式的可读性和专业排版效果。

内容的提问来源于stack exchange，提问作者Paalon