整个证明上方的垂直箭头

Question

有人知道如何在整个证明上画一个垂直箭头来表明证明从底部到顶部吗？

我的 MWE 在这里：

\documentclass{article}
\usepackage[T1]{fontenc}
\usepackage[czech]{babel}
\usepackage{mathtools,amssymb,amsthm}

\newcommand{\R}{\mathbb{R}}
\DeclarePairedDelimiter{\abs}{|}{|}

\begin{document}
\begin{proof}
    \begin{align*}
    \epsilon \in \R^+: \abs*{\frac{2n-3}{3n-2} - \frac{2}{3}} &< \epsilon \\
    \abs*{\frac{-5}{3(3n-2)}} &< \epsilon \\
    \frac{5}{3} \cdot \frac{1}{\epsilon} &< 3n-2 \\
    n &> \frac{1}{3} \left(\frac{5}{3\epsilon}+2\right)
    \end{align*}
    Tedy tvrzení platí pro skoro všechna $n$ počínaje třeba $n = 
    \frac{1}{3} \left(\frac{5}{3\epsilon}+2\right) + 1.$
\end{proof}
\end{document}

它看起来像这样，我想在那里有一个垂直箭头：

多谢！

Answer 1

将您的align*变成并在其旁边aligned添加，以平衡它。\right\Uparrow\left.

\documentclass{article}
\usepackage[T1]{fontenc}
\usepackage[czech]{babel}
\usepackage{mathtools,amssymb,amsthm}

\newcommand{\R}{\mathbb{R}}
\DeclarePairedDelimiter{\abs}{|}{|}

\begin{document}

\begin{proof}
\[
\left.
\begin{aligned}
\epsilon \in \R^+: \abs*{\frac{2n-3}{3n-2} - \frac{2}{3}} &< \epsilon \\
\abs*{\frac{-5}{3(3n-2)}} &< \epsilon \\
\frac{5}{3} \cdot \frac{1}{\epsilon} &< 3n-2 \\
n &> \frac{1}{3} \left(\frac{5}{3\epsilon}+2\right)
\end{aligned}
\quad\right\Uparrow
\]
Tedy tvrzení platí pro skoro všechna $n$ počínaje třeba 
$n = \frac{1}{3} \left(\frac{5}{3\epsilon}+2\right) + 1$.
\end{proof}

\end{document}

现在您知道该怎么做了，请在显示前添加一些解释性文字并删除箭头。