使用 MathJax 我需要一个 \ensuremath 的解决方案

Question

我在几个项目中使用了MathJax，它通常就像一个魅力。

然而，今天，我在使用以下对齐环境翻译现有 LaTeX 文档的一部分时遇到了问题：

\begin{align}
  & (\lambda x.(\lambda y.(\lambda z.xyz)))abc \\
= & \text{\{ impliciete toepassing expliciet maken \}} \\
  & (((\lambda x.(\lambda y.(\lambda z.xyz)))a)b)c \\
= & \text{\{ \ensuremath{\beta}-reductie, substitutie van \ensuremath{x}door \ensuremath{a}\}} \\
  & ((\lambda y.(\lambda z.ayz))b)c \\
= & \{\text{\ensuremath{\beta}-reductie, \ensuremath{y\,:=b}}\} \\
  & (\lambda z.abz)c \\
= & \text{\{ \ensuremath{\beta}-reductie, \ensuremath{z\,:=c}} \\
 & abc \\ \boxed{} \end{align}

用 LaTeX 渲染的结果是这样的（对不起荷兰文;-)：

align-environment 本质上是一个math 上下文，所以如果你想要text，你需要用\text{...} 括起该文本。但是，当您再次需要该文本内的数学符号时，您可以通过用\ensuremath{...} 包围数学来转义text 上下文。

MathJax 将其渲染为：

Mathjax 将所有内容居中并不重要，这是我可以使用 CSS 处理的。但是\ensuremath的渲染是个问题。显然是 MathJax doesn't support \ensuremath，但我想不出一个可行的解决方法，我可以在 text-context 中使用数学符号。

理想情况下，我希望有一个使用替代 LaTeX 结构的解决方案（因此是交叉列表）

有什么想法吗？

Answer 1

您应该使用$...$ 或\(...\) 代替\ensuremath{...}。即使在 LaTeX 本身中，这对我来说似乎也更自然（因为 \ensuremath 确实设计用于可能在文本和数学模式中使用的宏）。

所以你可以这样做

\begin{align}
  & (\lambda x.(\lambda y.(\lambda z.xyz)))abc \\
= & \{\text{ impliciete toepassing expliciet maken }\} \\
  & (((\lambda x.(\lambda y.(\lambda z.xyz)))a)b)c \\
= & \{\text{ $\beta$-reductie, substitutie van $x$door $a$ }\} \\
  & ((\lambda y.(\lambda z.ayz))b)c \\
= & \{\text{ $\beta$-reductie, $y:=b$ }\} \\
  & (\lambda z.abz)c \\
= & \{\text{ $\beta$-reductie, $z:=c$ }\} \\
  & abc \\ \boxed{} \end{align}

我还将\{ 和\} 放在\text{} 之外，不过如果您愿意，您也可以将它们放在里面。

居中可能是由于您页面上的 CSS，因为默认情况下 MathJax 左对齐。