Mit MathJax brauche ich eine Lösung für \ assistemath

Question

Ich verwende eine MathJax in mehreren Projekten und es funktioniert im Allgemeinen wie ein Charme. jedoch

Heute lief ich in ein Problem bei der Übersetzung eines Teils eines bestehenden LaTeX-Dokument mit folgendem align-Umgebung:

\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} 

Das Ergebnis mit LaTeX gemacht ist dies (sorry für den niederländischen Text ;-):

Die align-Umgebung ist im wesentlichen ein math Kontext, wenn Sie so wollen Text, müssen Sie t einzuschließen hat Text mit \text{...}. Aber wenn Sie wieder mathematische Symbole innerhalb dieser Text benötigen, entkommen Sie den text Kontext, indem Sie die Mathematik mit \ensuremath{...} umschließen.

Und Mathjax macht es mag:

Das Mathjax dreht sich alles spielt keine Rolle, dass etwas, das ich mit CSS umgehen kann. Aber das Rendern von \ensuremath ist ein Problem. Klar, MathJax doesn't support\ensuremath, aber ich kann mir nicht vorstellen, eine Workaround Workaround, wo ich mathematische Symbole in einem text -Kontext verwenden kann.

Idealer I'ld gerne eine Lösung haben, eine alternative LaTeX Konstruktion mit (daher der Querliste)

Irgendwelche Ideen?

Answer 1

Sie sollten $...$ oder \(...\) anstelle von \ensuremath{...} verwenden. Dies erscheint mir sogar in LaTeX selbst natürlicher (da \ensuremath wirklich für die Verwendung innerhalb von Makros gedacht ist, die sowohl in Text- als auch in Mathematik-Modi verwendet werden können).

So können Sie tun

\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} 

Ich habe auch die \{ und \} außerhalb des \text{}, obwohl man sie im Inneren tun können, wenn Sie es vorziehen.

Die Zentrierung ist wahrscheinlich auf CSS auf Ihrer Seite zurückzuführen, da MathJax diese standardmäßig zurückweist.