☰

使用 stackrel 对齐等式

tag-icon • tag-icon align stacking-symbols box phantom
使用 stackrel 对齐等式

我有一个像这样的代码块

\begin{align*}
    ||Ty - Tz||_w &\stackrel{\text{Satz 4.3}}{=} \sup_{t \in I}e^{-2L(t-t_0)}||(Ty)(t) - (Tz)(t)||_\infty \\
    &\stackrel{\phantom{Satz 4.3}}{\leq} \frac{1}{2}||y - z||_w
\end{align*}

尽管我使用了第一个等式，但第一个=和很好地对齐了，因为我在行中使用 添加了必要的空间。现在我想在上面添加文本（文本将比短。我希望 符号仍然对齐，并且文本在它上面居中。我尝试了类似的东西，但这使用了正常的文本大小“Satz 4.3”，太宽了。\leq\stackrel\phantom\leq\leq(4.5)Satz 4.3\widthof{Satz 4.3}][c]{(4.5)}

我该如何处理这个问题？

答案1

我会通过插入箭头符号在“Satz 4.3”和“=”符号之间创建一点垂直距离，然后我会通过指令将文本/箭头组合的宽度“压缩”为零\mathclap。

在此处输入图片描述

请注意，代码使用\tiny的文本材料与数学材料相对应\scriptscriptstyle。如果您认为结果不够突出，我会使用颜色使其更加突出，而不是增加尺寸。

\documentclass{article}
\usepackage{mathtools} % for 'align*' env.
\DeclarePairedDelimiter\norm\lVert\rVert

\begin{document}
\begin{align*}
\norm{ Ty - Tz}_w 
&\stackrel{\mathclap{\substack{\text{\tiny Satz 4.3}\\ 
                               \scriptscriptstyle\downarrow}}}{=} 
 \sup_{t\in I}e^{-2L(t-t_0)}\norm{(Ty)(t)-(Tz)(t)}_\infty \\
&\stackrel{\mathclap{\text{\tiny (4.5)}}}{\leq}
 \tfrac{1}{2}\norm{y - z} _w
\end{align*}
\end{document}

答案2

欢迎！您可以使用eqparbox它。

\documentclass{article}
\usepackage{amsmath}
\usepackage{eqparbox}
\begin{document}
\begin{align*}
    ||Ty - Tz||_w &\stackrel{\text{\eqmakebox[a][c]{Satz 4.3}}}{=} \sup_{t \in I}e^{-2L(t-t_0)}||(Ty)(t) - (Tz)(t)||_\infty \\
    &\stackrel{\text{\eqmakebox[a][c]{4.5}}}{\leq} \frac{1}{2}||y - z||_w
\end{align*}

\begin{align*}
    ||Ty - Tz||_w &\overset{\text{\eqmakebox[a][c]{Satz 4.3}}}{=} \sup_{t \in I}e^{-2L(t-t_0)}||(Ty)(t) - (Tz)(t)||_\infty \\
    &\overset{\text{\eqmakebox[a][c]{4.5}}}{\leq} \frac{1}{2}||y - z||_w
\end{align*}

\end{document}

在此处输入图片描述

一些背景知识：在 中\eqmakebox[a][c]{Satz 4.3}，a是一个标签。所有\eqmakebox带有此标签的 es 都具有相同的宽度。如果您在其他地方有另一组同步框，则可以为它们提供另一个标签，例如b。c只是对齐方式，您可以左对齐或右对齐文本（l或r），但这里我们希望用 使其居中c。还请注意，如果您经常这样做并且不想跟踪您是否已a在该文档中使用过，则可以自动创建唯一的标签。如果您希望我详细说明，请告诉我。

相关内容