段落与列表环境周围的边距对齐

Question

我在文档对齐方面遇到了一些问题，我在下面放了代码。我该如何定位以“所有三个条件必须...”开头的句子，以便与定义/定理等对齐？

我列出的要点 (i)、(ii) 和 (iii) 等似乎也有些不合适，而且缺少一些行距？我该如何让我的文档整体看起来/对齐方式与下图类似？

\documentclass[11pt,a4paper]{report}
\usepackage{amsmath,amsfonts,amssymb,amsthm,epsfig,epstopdf,titling,url,array}


\theoremstyle{plain}
\newtheorem{thm}{Theorem}[chapter] % reset theorem numbering for each chapter
\newtheorem{lem}[thm]{Lemma}
\newtheorem{prop}[thm]{Proposition}
\newtheorem*{cor}{Corollary}

\theoremstyle{definition}
\newtheorem{defn}[thm]{Definition} % definition numbers are dependent on theorem numbers
\newtheorem{exmp}[thm]{Example} % same for example numbers
\newtheorem{conj}[thm]{Conjecture}

\theoremstyle{remark}
\newtheorem*{rem}{Remark}
\newtheorem*{note}{Note}


\title{\textbf{My Thesis Title}}
\author{My Name}
\date{\today}

\begin{document}
\tableofcontents

\chapter{Addition}
\section{Basics}
\begin{defn}
Picard's theorem is true if the following properties is valid:

(i) $x^2 =2$

(ii) $x^2 \Rightarrow e^2$

(iii) $\epsilon^2 = e^2$

All three conditions must hold in order for the theorem to be true, and there is an extra condition:

(iv)$ x^7$
\end{defn}

\begin{rem}
$x^2$ closed under multiplication and addition.

$x^3=e^3=e^3=e^3=e^3$
\end{rem}


\end{document}

Answer 1

这似乎很容易enumitem它允许您在本地（通过列表环境的可选参数）或全局（使用）修改列表\setlist[<environment>,<level>]{<setup>}。以下是如何使用它的预览：

\documentclass[11pt,a4paper]{report}
%\usepackage{amsmath,amsfonts,amssymb,amsthm,epsfig,epstopdf,titling,url,array}
\usepackage{amsthm}% http://ctan.org/pkg/amsthm
\usepackage{enumitem}% http://ctan.org/pkg/enumitem

\theoremstyle{plain}
\newtheorem{thm}{Theorem}[chapter] % reset theorem numbering for each chapter
\newtheorem{lem}[thm]{Lemma}
\newtheorem{prop}[thm]{Proposition}
\newtheorem*{cor}{Corollary}

\theoremstyle{definition}
\newtheorem{defn}[thm]{Definition} % definition numbers are dependent on theorem numbers
\newtheorem{exmp}[thm]{Example} % same for example numbers
\newtheorem{conj}[thm]{Conjecture}

\theoremstyle{remark}
\newtheorem*{rem}{Remark}
\newtheorem*{note}{Note}


\title{\textbf{My Thesis Title}}
\author{My Name}
\date{\today}

\begin{document}
\tableofcontents

\chapter{Addition}
\section{Basics}
\begin{defn}
Picard's theorem is true if the following properties is valid:

\begin{enumerate}[label=(\roman*)]
  \item $x^2 =2$
  \item $x^2 \Rightarrow e^2$
  \item $\epsilon^2 = e^2$
\end{enumerate}

\noindent All three conditions must hold in order for the theorem to be true, and there is an extra condition:

\begin{enumerate}[label=(\roman*),start=4]
  \item $x^7$
\end{enumerate}
\end{defn}

\begin{rem}
$x^2$ closed under multiplication and addition.

$x^3=e^3=e^3=e^3=e^3$
\end{rem}
\end{document}

为了避免自然段落缩进，您可以在段落前面添加\noindent（就像我在段落“所有三个条件...”中所做的那样）。将其与段落“ $x^3=e^3=...”。

对于使用 修改环境enumerate（或其他列表）enumitem，请阅读enumitem包装文档。例如，您可以修改项目间的间距、相对于其他文档元素的顶部或底部分隔等。

有兴趣斜体（小）罗马数字？使用[label=(\textit{\roman*})]。有很多选项可供选择。

Answer 2

对列表使用 LaTeX 列表环境，并尽量避免在标题中使用明确的字体命令（文档类应该处理这个问题）就像这样：

\documentclass[11pt,a4paper]{report}
\usepackage{amsmath,amsfonts,amssymb,amsthm,epsfig,epstopdf,titling,url,array}


\theoremstyle{plain}
\newtheorem{thm}{Theorem}[chapter] % reset theorem numbering for each chapter
\newtheorem{lem}[thm]{Lemma}
\newtheorem{prop}[thm]{Proposition}
\newtheorem*{cor}{Corollary}

\theoremstyle{definition}
\newtheorem{defn}[thm]{Definition} % definition numbers are dependent on theorem numbers
\newtheorem{exmp}[thm]{Example} % same for example numbers
\newtheorem{conj}[thm]{Conjecture}

\theoremstyle{remark}
\newtheorem*{rem}{Remark}
\newtheorem*{note}{Note}


\title{My Thesis Title}
\author{My Name}
\date{\today}
\renewcommand\labelenumi{(\theenumi)}
\renewcommand\theenumi{\roman{enumi}}

\begin{document}
\tableofcontents

\chapter{Addition}
\section{Basics}
\begin{defn}
Picard's theorem is true if the following properties is valid:

\begin{enumerate}
\item $x^2 =2$

\item $x^2 \Rightarrow e^2$

\item $\epsilon^2 = e^2$
\end{enumerate}
All three conditions must hold in order for the theorem to be true, and there is an extra condition:
\begin{enumerate}\setcounter{enumi}{3}
\item $ x^7$
\end{enumerate}
\end{defn}

\begin{rem}
$x^2$ closed under multiplication and addition.

$x^3=e^3=e^3=e^3=e^3$
\end{rem}

\end{document}