什么是 LaTeX 中的首行缩进？
在 LaTeX 中，首行缩进（First Line Indentation）是指一个段落的第一个句子的开头与左边界之间留有的空白距离。这是排版中区分新段落的一种常见方式，尤其是在段落之间没有额外垂直间距的情况下。LaTeX 默认会为大多数新段落的第一行添加一个标准的缩进。
这个缩进的距离通常由一个称为 \parindent 的内部参数控制。它的默认值取决于文档类（document class）和字体大小，但通常是一个标准值，例如 15pt 或 20pt。
LaTeX 为什么会默认首行缩进？
LaTeX 默认首行缩进是基于传统的西文排版习惯。在很多排版风格中，区分段落有两种主要方法：
- 方法一： 段落之间不留额外的垂直空间，但新段落的第一行进行缩进。
- 方法二： 段落之间不缩进第一行，但段落之间留有明显的垂直空间。
LaTeX 的默认设置倾向于第一种方法：使用首行缩进作为视觉信号来表明新段落的开始，而不是依靠段落间的垂直间距。这种风格在书籍、学术论文和一些期刊中非常普遍。
然而，LaTeX 并非总会进行首行缩进。在某些特定情况下，即使这是新的段落，LaTeX 也不会默认缩进，这是出于排版逻辑的考虑。
LaTeX 在哪里会或不会自动首行缩进？
理解 LaTeX 默认缩进的行为模式非常重要：
默认会首行缩进的地方：
通常，在一个普通的文本环境中，每当你通过一个空行或 \par 命令开始一个新的段落时，LaTeX 都会应用 \parindent 的缩进。
默认不会首行缩进的地方：
LaTeX 在以下位置的第一个段落通常不会自动首行缩进，因为它认为段落前的垂直空间或结构性元素已经足够表明这是一个新段落的开始：
- 文档的第一个段落。
- 紧跟在章节标题、节标题、子节标题等（如
\chapter,\section,\subsection,\subsubsection）之后的第一个段落。 - 紧跟在列表环境（如
itemize,enumerate,description）之后的第一个段落。 - 紧跟在其他一些特殊环境（如
abstract,quote,quotation,theorem,proof等）之后的第一个段落。 - 在一些命令之后，比如
\maketitle,\tableofcontents等。
这种行为是 LaTeX 设计的一部分，旨在提高文档的可读性和结构清晰度。
LaTeX 默认的首行缩进是多少？如何查看和修改？
默认的首行缩进距离由参数 \parindent 决定。
查看默认值：
在 LaTeX 源文件中，你无法直接像变量一样打印出 \parindent 的数值，它是一个长度参数。它的具体数值在编译时由文档类和字体大小决定。例如，在标准的 article 文档类中，10pt 字体大小下，\parindent 通常是 15pt 左右；12pt 字体大小下，可能是 17pt 左右。
如果你确实需要知道精确值，可以使用一些高级方法，或者在文档中尝试测量（例如，使用 \the\parindent 命令通常会报错，因为它不是一个直接可打印的宏，但一些宏包可能提供查看参数值的工具）。对于大多数用户来说，知道如何修改它比知道精确的默认数值更重要。
修改默认值（全局）：
要修改整个文档的首行缩进距离，你需要使用 \setlength 命令，通常放在文档的\documentclass{...} 和 \begin{document} 之间）。
语法是：
\setlength{\parindent}{<长度>}
其中 <长度> 可以是任何有效的 LaTeX 长度单位，例如：
pt(points): 磅，常用的绝对单位。mm(millimeters): 毫米。cm(centimeters): 厘米。in(inches): 英寸。em(相对单位): 当前字体中 M 的宽度，常用于与字体大小相关的水平距离。2em是一个常用的缩进值，大约是两个 M 字母的宽度。ex(相对单位): 当前字体中 x 的高度。\linewidth: 当前行的可用文本宽度。\textwidth: 页面上文本区域的总宽度。\baselineskip: 当前行之间的垂直距离。
例如：
\setlength{\parindent}{2em}% 将首行缩进设置为当前字体大小下 2 个 M 的宽度
\setlength{\parindent}{1cm}% 将首行缩进设置为 1 厘米
\setlength{\parindent}{0pt}% 移除全局首行缩进
重要提示： 如果你将 \parindent 设置为 0pt (即移除首行缩进)，为了保持段落之间的视觉分隔，通常需要同时增加段落之间的垂直空间。这个垂直空间由参数 \parskip 控制。你可以这样设置：
\setlength{\parindent}{0pt}
\setlength{\parskip}{0.5\baselineskip}% 或其他合适的长度，如 1ex, 3pt plus 1pt minus 1pt 等
plus 和 minus 允许 LaTeX 在需要调整页面时微调间距。
或者，你可以使用 parskip 宏包，它专门用于处理段落间距问题，通常会同时设置 \parindent 为 0 和 \parskip 为一个合适的值。在导言区使用 \usepackage{parskip} 即可。
如何在局部控制首行缩进？
除了全局设置外，LaTeX 也提供了在文档主体中局部控制单个或多个段落缩进的方法。
移除单个段落的首行缩进：
如果你想让某个段落不缩进（即使全局设置了 \parindent > 0），可以在该段落的\noindent。
这是一个需要缩进的段落。
\noindent 这是一个不缩进的段落。
这是一个需要缩进的段落。
注意，\noindent 只影响其所在的第一个段落。
强制添加单个段落的首行缩进：
如果你已经全局设置了 \parindent = 0pt，但偶尔想让某个段落进行首行缩进，可以在该段落的\indent。
这是一个不缩进的段落。
\indent 这是一个需要缩进的段落（即使全局不缩进）。
这是一个不缩进的段落。
\indent 命令实际上就是插入一个宽度等于 \parindent 的水平空间。如果 \parindent 是 0pt，那么 \indent 就没有任何效果。
局部修改一段文本的缩进设置：
你可以将一段文本或几个段落放在一个花括号 { ... } 中，然后在里面使用 \setlength 临时改变 \parindent 和 \parskip 的值。这些改变只在这个局部组内有效。
这是一个普通段落（使用全局设置）。
{
\setlength{\parindent}{3em}
\setlength{\parskip}{6pt}
这是一个在局部组内的段落，缩进和段间距都改变了。
这是局部组内的第二个段落。
}这是一个回到普通设置的段落。
这种方法比较灵活，可以用于某些特殊区域的排版。
如何处理特殊环境中的缩进问题？
前面提到，许多 LaTeX 环境（如列表、引用、定理等）会自行管理其内部和周围的垂直间距和缩进。
-
列表环境 (
itemize,enumerate,description): 这些环境内部的每个列表项通常被视为一个段落。默认情况下，列表项的第一行 通常不会有额外的首行缩进（它们有列表标记和左侧的整体缩进）。列表项内部如果包含多个段落，则后续段落会按照\parindent进行首行缩进。 -
引用环境 (
quote,quotation): 这些环境通常会对整个文本块进行左右缩进，并且其内部的第一个段落不会首行缩进。内部段落之间的处理方式取决于环境定义，quotation环境通常会缩进内部的后续段落，而quote环境则可能不缩进。 - 定理、证明等环境： 这些环境的格式由定义它们的宏包控制，通常其内部的第一个段落不会首行缩进。
如果你发现某个环境的缩进行为不符合预期，通常需要查阅该环境所属宏包的文档，或者修改环境的定义（这属于更高级的 LaTeX 定制）。对于大多数情况，环境的默认行为是合理的，不建议轻易修改环境内部的首行缩进。
总结与最佳实践
控制 LaTeX 的首行缩进主要围绕 \parindent 和 \parskip 这两个参数。
-
选择一种全局风格： 决定你的文档是采用“首行缩进 + 段间距为 0”还是“首行不缩进 + 段间距 > 0”。大多数正式文档默认使用前者。如果要改为后者，记得在导言区同时设置
\setlength{\parindent}{0pt}和\setlength{\parskip}{...}，或使用parskip宏包。 - 理解默认例外： 记住 LaTeX 在标题后、列表后等地方不会自动缩进第一个段落。这是正常的行为。
-
局部调整： 使用
\noindent移除特定段落的缩进，使用\indent强制添加特定段落的缩进（仅当\parindent > 0时有效）。尽量少用局部调整，保持全文风格一致。 -
避免混淆： 空行或
\par开始一个新段落（可能带缩进）；\\只强制换行，通常不开始新段落，也不会产生首行缩进。
通过掌握 \parindent, \parskip, \noindent, 和 \indent，你就可以完全控制 LaTeX 文档中的首行缩进和段落间距，从而实现所需的排版效果。
