정리가 열거 목록으로 시작하는 경우 정리 아래와 위의 수직 여백은 동일하지 않습니다.

Question

위 그림에서 볼 수 있듯이 "해" 정리의 위쪽 및 아래쪽 여백이 다릅니다. 어떻게 하면 똑같이 만들 수 있나요? 아래 코드를 제시합니다 LaTeX.

\documentclass[oneside,12pt]{article}
\usepackage[left=3em,right=3em,top=3em]{geometry}
\usepackage{microtype}
\usepackage[T1]{fontenc}
\usepackage[utf8]{inputenc}
\usepackage{lmodern}
\usepackage{parskip}
\usepackage{amssymb}
\usepackage{amsthm}
\theoremstyle{definition}
\newtheorem*{sol}{Solution}
\usepackage{enumitem}
\setlist[enumerate,2]{label=\arabic*.}
\begin{document}
\textbf{Beta reduce}\quad Evaluate (that is, beta reduce) each of the following
expressions to normal form. We strongly recommend writing out the steps on
paper with a pencil or pen.
\begin{enumerate}
\item $(\lambda abc.cba)zz(\lambda wv.w)$
  \begin{sol}
    \leavevmode
    \begin{enumerate}
    \item $(\lambda bc.cbz)z(\lambda wv.w)$
    \item $(\lambda c.czz)(\lambda wv.w)$
    \item $(\lambda wv.w)zz$
    \item $(\lambda v.z)z$
    \item $z$
    \end{enumerate}
  \end{sol}
\item $(\lambda x.\lambda y.xyy)(\lambda a.a)b$
  \begin{sol}
    \leavevmode
    \begin{enumerate}
    \item $(\lambda y.(\lambda a.a)yy)b$
    \item $(\lambda a.a)bb$
    \item $bb$
    \end{enumerate}
  \end{sol}
\item $(\lambda y.y)(\lambda x.xx)(\lambda z.zq)$
  \begin{sol}
    \leavevmode
    \begin{enumerate}
    \item $(\lambda x.xx)(\lambda z.zq)$
    \item $(\lambda z.zq)q$
    \item $qq$
    \end{enumerate}
  \end{sol}
\end{enumerate}
\end{document}

Answer 1

분명히 서로를 좋아하지 않습니다 parskip. enumitem가장 좋은 방법은 여기에 패키지를 놓는 것입니다 parskip. (문제의 실제 원인이 어디에 있는지 알아내려고 노력하겠습니다 parskip)

\documentclass[oneside,12pt]{article}
\usepackage[left=3em,right=3em,top=3em]{geometry}
\usepackage{microtype}
\usepackage[T1]{fontenc}
\usepackage[utf8]{inputenc}
\usepackage{lmodern}
%\usepackage{parskip}
\usepackage{amssymb}
\usepackage{amsthm}
\theoremstyle{definition}
\newtheorem*{sol}{Solution}
\usepackage{enumitem}
\setlist[enumerate,2]{label=\arabic*}
\begin{document}
\textbf{Beta reduce}\quad Evaluate (that is, beta reduce) each of the following
expressions to normal form. We strongly recommend writing out the steps on
paper with a pencil or pen.
\begin{enumerate}
\item $(\lambda abc.cba)zz(\lambda wv.w)$

  \begin{sol}
    \leavevmode
    \begin{enumerate}
    \item $(\lambda bc.cbz)z(\lambda wv.w)$
    \item $(\lambda c.czz)(\lambda wv.w)$
    \item $(\lambda wv.w)zz$
    \item $(\lambda v.z)z$
    \item $z$
    \end{enumerate}
  \end{sol}%\mbox{}%

\item $(\lambda x.\lambda y.xyy)(\lambda a.a)b$
  \begin{sol}
    \leavevmode
    \begin{enumerate}
    \item $(\lambda y.(\lambda a.a)yy)b$
    \item $(\lambda a.a)bb$
    \item $bb$
    \end{enumerate}
  \end{sol}
\item $(\lambda y.y)(\lambda x.xx)(\lambda z.zq)$
  \begin{sol}
    \leavevmode
    \begin{enumerate}
    \item $(\lambda x.xx)(\lambda z.zq)$
    \item $(\lambda z.zq)q$
    \item $qq$
    \end{enumerate}
  \end{sol}
\end{enumerate}
\end{document}