将小页面内的内容向下移动以对齐邻近内容

Question

我在序言中已经定义了这个命令：

\newcommand{\pf}[1]{\textbf{\textit{Proof.}}\quad\begin{minipage}[t][][t]{\textwidth}\footnotesize #1\end{minipage}}

在文档中，有一行使用了该命令：

\pf{$\begin{alignedat}{2}
B_{(Y,d)}(a,r)&=\big\{x|x\in Y\wedge d(x,a)<r\big\}=Y\cap\big\{x|d(x,a)<r\big\}\\
&=Y\cap\big\{x|x\in X\wedge d(x,a)<r\big\}=Y\cap B_{(X,d)}(a,r)
\end{alignedat}$}

输出为：

如何让小页面的内容向下移动？想要的效果如下：

Answer 1

您可以使用来做到这一点\begin{alignedat}[t]{2}，但我不确定您是否想要这样的事情：

\documentclass{article}
\usepackage{amsmath}
\usepackage{lipsum,showframe}

\newcommand{\pf}[1]{\textbf{\textit{Proof.}}\quad\begin{minipage}[t][][t]{\textwidth}\footnotesize #1\end{minipage}}

\begin{document}

\pf{$\begin{alignedat}[t]{2}
B_{(Y,d)}(a,r)&=\big\{x|x\in Y\wedge d(x,a)<r\big\}=Y\cap\big\{x|d(x,a)<r\big\}\\
&=Y\cap\big\{x|x\in X\wedge d(x,a)<r\big\}=Y\cap B_{(X,d)}(a,r)
\end{alignedat}$}

\pf{\lipsum[2]}

\end{document}

你得到

Overfull \hbox (56.08862pt too wide)

每次\pf出现。

---

为您的 提供更好的定义\pf。minipage环境周围的 用于避免校样中的分页符，但我认为它不是必需的。

\documentclass{article}
\usepackage{amsmath}
\usepackage{enumitem}

\usepackage{lipsum,showframe}

\newlength{\proofwd}

\newenvironment{pf}
 {\par\addvspace{\medskipamount}
  \noindent\begin{minipage}{\textwidth}
  \settowidth{\proofwd}{\textbf{\textit{Proof.}}}%
  \begin{itemize}[labelwidth=\proofwd,leftmargin=\dimexpr\proofwd+\labelsep]
  \item[\textbf{\textit{Proof.}}]\footnotesize}
 {\end{itemize}\end{minipage}\par\addvspace{\medskipamount}}

\begin{document}

\begin{pf}
$\begin{alignedat}[t]{2}
B_{(Y,d)}(a,r)&=\{x\mid x\in Y\wedge d(x,a)<r\}=Y\cap\{x\mid d(x,a)<r\}\\
&=Y\cap\{x\mid x\in X\wedge d(x,a)<r\}=Y\cap B_{(X,d)}(a,r)
\end{alignedat}$
\end{pf}

\begin{pf}
\lipsum[2]
\end{pf}

\end{document}

请注意数学公式中的修正：|应该变成\mid并且不需要\big；无论如何它应该是\bigl\{和\bigr\}，如果您觉得括号应该更大。