首字下沉定理风格

Question 1

这是一个使用ntheorem创建这样的定理环境。其间距与amsthm定理环境的间距相同。

定理实际上是列表环境，只有一个项目，其标签是定理的头部。首字下沉定理头部的实现有点困难，因为\lettrine不仅会产生定理头部，还会设置定理前两行的缩进。amsthm和都ntheorem允许您更改此标签的外观，但amsthm不允许您插入任何代码后定理头部。

但是，这是可能的。的ntheorem第二个和第三个参数通常采用以下形式，您可以使用第三个参数来根据项目标签中发生的情况更改缩进。ntheorem\newtheoremstyle\item[…\theorem@headerfont…]……

为了实现这一点，我们需要从项目标签外部访问（存储使用的参数的\L@parshape变量），这就是我们全局设置为等于此参数的原因。然后我们可以使用和适当地更改下一个段落的形状。\parshapelettrine\dropitem@ps\everypar\parshape

\documentclass{article}

\usepackage{ntheorem}
\usepackage{lettrine}

\makeatletter %% <- make @ usable in command sequences
%% Create drop-cap theorem head:
\newcommand\dropitem[1]{%
  \item[\hskip\itemsep                    %% <- undo \hskip-\itemsep in dfn. of \item
        \lettthmhead{#1}%                 %% <- print drop-capped theorem head
        \global\let\dropitem@ps\L@parshape]% %% <- store \L@parshape for later
  \expandafter\everypar\expandafter{%     %% <- this is inserted at the start of a par.
    \the\everypar                         %% <- original \everpar (prints thm head)
    \parshape\dropitem@ps\relax           %% <- set parshape for first paragraph
    \everypar{\parshape0\everypar{}}%     %% <- reset for later paragraphs
  }%
  \ignorespaces
}
%% Drop-cap a word:
\def\lettthmhead#1{\@lettthmhead#1\end@lettthmhead} %% <- Peel off the first letter
\def\@lettthmhead#1#2\end@lettthmhead{% %% #1 = first letter, #2 = remainder
  \let\LettrineFontHook\theorem@headerfont
  \let\LettrineTextFont\theorem@headerfont
  \lettrine[nindent=0em, findent=0.125em, realheight,novskip=\maxdimen]{#1}{#2}%
}

%% Declare dropcap theorem style:
\newtheoremstyle{dropcap}
  {\dropitem{##1\ ##2\theorem@separator}}
  {\dropitem{##1\ifundefined{thm@starredenv}{}{\ ##2}\ (##3)\theorem@separator}}
\newtheoremstyle{nonumberdropcap}
  {\dropitem{##1\theorem@separator}}
  {\dropitem{##1\ (##3)\theorem@separator}}

\makeatletter  %% <- revert @

%% Declare theorems:
\theoremstyle{dropcap}
\theorempreskip{\topsep}
\theorempostskip{\topsep}
\theoremseparator{.}
\newtheorem*{thm}{Theorem}
\theorembodyfont{\normalfont}
\theoremheaderfont{\normalfont\scshape}
\newtheorem*{dfn}{Definition}

%% Dummy text
\def\lipsum{Lorem ipsum dolor sit amet, consectetuer adipiscing elit.
            Ut purus elit, vestibulum ut, placerat ac, adipiscing vitae, felis.
            Curabitur dictum gravida mauris. Nam arcu libero, nonummy eget,
            consectetuer id, vulputate a, magna. Donec vehicula augue eu neque.}

\begin{document}

\lipsum

\begin{thm}
    \lipsum \par \lipsum
\end{thm}

\lipsum

\begin{thm}
    \lipsum
\end{thm}

\section{A section}

\begin{dfn}
    \lipsum
\end{dfn}
\begin{thm}
    \lipsum
\end{thm}

\lipsum

\end{document}

（amsthm左边是 ↓ 输出，右边是上面代码的输出 ↓ ）

请注意，使用\newtheorem而不是\newtheorem*会产生这些环境的编号版本。

左侧的输出是使用

\usepackage{amsthm}
\usepackage{lettrine}

\newtheorem*{thm}{Theorem}
\theoremstyle{definition}
\newtheorem*{dfn}{Definition}

以及相同的文档内容。

附录

顺便说一句，AMS 定理的 (完美) 间距可以用trivlist具有\@topsep=\topsep和的环境来重现\@topsepadd=\topsep。下面的环境在几乎所有情况下thmspacing都会被与定理相同大小的空间所包围(因为这实际上是这些环境的定义方式)。amsthm

\makeatletter
\newenvironment{thmspacing}{%
  \trivlist
  \@topsep=\topsep
  \@topsepadd=\topsep
  \item\ignorespaces
}{%
  \endtrivlist
  \@endpefalse
}
\makeatother

以下环境实际上与上面使用定义的环境几乎没有区别ntheorem。它不需要除之外的其他软件包lettrine（但您需要从上面复制\dropitem和的定义\lettthmhead才能使用它）。

\makeatletter
\newenvironment{thm}{%
  \trivlist
  \@topsep=\topsep
  \@topsepadd=\topsep
  \itshape
  \def\theorem@headerfont{\normalfont\bfseries}
  \dropitem{Theorem.}
}{%
  \endtrivlist
  \@endpefalse
}
\makeatother

Answer