在此示例中，\footnotemark和\footnotetext分别用于环境内部和环境外部align*以创建脚注。（此处方程编号系统被滥用为将解释性注释放在工作右侧的一种方式。此处需要脚注，因为所讨论的解释性注释过长，并且被强行放在自己的行上，这看起来很难看。）但是，由于我已设法将环境放在align*页面底部，因此脚注被移到了下一页。这是不可取的。如果脚注与环境在同一页上，那就好多了align*。
（直接使用\footnote在环境中不起作用align*。标准解决方案，如其他 TeX/LaTeX Stack Exchange 问题的答案中所述，是使用\footnotemark和\footnotetext如此处所示。但仅仅这样做并不能解决这个问题。）
\documentclass[a4paper, reqno]{amsart}
\newtheorem{proposition}{Proposition}
\newcommand{\tie}{\bowtie}
\newcommand{\ordtie}{\mathord{\tie}}
\begin{document}
Here is some vertical space to force the align* environment to the
bottom of this page, so that the problem is exposed.\vspace*{15cm}
\begin{proposition}
Behold: a proposition.
\end{proposition}
\begin{proof}
We first check that $f$ satisfies both parts of Definitions (number).
For (i), let $v \in V_{(G / \ordtie) / \ordtie''}$. Then
$v = \big[[v']_{\tie}\big]_{\tie''}$ for some $v' \in V_G$, and we have
\begin{align*}
\pi_{G / \ordtie'}f(v) &= \pi_{G / \ordtie'}\big(f\b(){\b[]{[v']_{\tie}}_{\tie''}}\big)
\\ &= \pi_{G / \ordtie'}\big([v']_{\tie'}\big)
\tag{by Proposition (number)}
\\ &= \pi_G(v')
= \pi_{G / \ordtie}\big([v']_{\tie}\big)
= \pi_{(G / \ordtie) / \ordtie''}\big(\big[[v']_{\tie}\big]_{\tie''}\big)
\tag{\footnotemark}
\\ &= \pi_{(G / \ordtie) / \ordtie''}(v),
\end{align*}
\footnotetext{Here we are using (three times) the definition from
Definitions (number) of the parity map of a quotient graph.}
as required. For (ii), let $\{u, v\} \in U_{(G / \ordtie) / \ordtie''}$;
then there exists $\{u', v'\} \in U_G$ such that
$u = \big[[u]_{\tie}\big]_{\tie''}$ and $v = \big[[v]_{\tie}\big]_{\tie''}$. We have
\[ \text{some more displayed mathematics, I daresay.}
\]
And that's all.
\end{proof}
\end{document}
\align*鉴于该\footnotetext命令不能放在环境内（出于同样的原因，我认为，简单地使用\footnote在环境内不起作用），我该如何强制脚注与环境位于同一页面上？