这是什么风格/字体？

Question

有谁知道如何为定理/引理/...创建编号，就像下图中这个，还有关于字体名称的任何想法吗？

Answer 1

评论

我使用 重现了 Heiko 的答案ntheorem。这其中有一个棘手的问题：你不能像通常对定理所做的那样将 包装到的\lettrine中。我得到了错误[]\item

! Argument of \@lettrine has an extra }.

如果我这样做。我不知道为什么，也许有人知道（请评论）。

执行

\documentclass{article}
\usepackage[ngerman]{babel}
\usepackage[T1]{fontenc}
\usepackage[sc]{mathpazo}
\usepackage{tgpagella}
\usepackage{microtype}
\usepackage{amsmath}
\usepackage{lettrine}
\usepackage{xcolor}
\usepackage{ntheorem}
\definecolor{theoremgray}{gray}{.5}
\makeatletter
\newtheoremstyle{mytheorem}%
    {\item[]\theorem@headerfont \lettrine[loversize=.11,findent=0.5em,nindent=0pt]{\textcolor{theoremgray}{##2}}{\textls{##1\theorem@separator}} }%
    {\item[]\theorem@headerfont \lettrine[loversize=.11,findent=0.5em,nindent=0pt]{\textcolor{theoremgray}{##2}}{\textls{##3\theorem@separator}} }
\makeatother
\theoremstyle{mytheorem}
\theoremheaderfont{\normalfont}
\theorembodyfont{\normalfont}
\theoremseparator{:}
\newtheorem{theorem}{Theorem}[subsection]
\setlength{\textwidth}{.85\textwidth}% just for reproducing the example
\begin{document}
\section{Sectiontitle}
\subsection{Subsectiontitle}
\begin{theorem}[Bezeichnungen]
    Ist $G$ eine (multiplikativ geschriebene) Gruppe, so f"uhrt man
    f"ur beliebige $g \in G$ und $M, N \subseteq G$ die Bezeichnungen
    \begin{alignat*}{4}
      &Mg &&= \{mg &&\mid m &&\in M\},\\
      &gN &&= \{gn &&\mid n &&\in N\},\\
      &MN &&= \{mn &&\mid m &&\in M, n \in N\}
    \end{alignat*}
\end{theorem}
\end{document}

输出

Answer 2

部分答案涉及：

• 大写字母/数字的丢失问题由 软件包解决lettrine。它还提供了 的小写字母Bezeichnungen:。

• 数字的颜色（gray）。

• 方程组的对齐（使用alignat*包的环境。只是为了好玩，我为和amsmath添加了额外的对齐。|\in

• \textls封装的小型大写字母文字的字母间距microtype。

• 由于使用了竖线\mid，另请参阅问题“ \mid, |（竖线）, \vert, \lvert, \rvert, \divides”。

另外，我还稍微放大了数字，以便更好地与文本顶部对齐。

\documentclass{article}
\usepackage[ngerman]{babel}
\usepackage[T1]{fontenc}
\usepackage[sc]{mathpazo}
\usepackage{tgpagella}
\usepackage{microtype}
\usepackage{amsmath}
\usepackage{lettrine}
\usepackage{xcolor}
\definecolor{theoremgray}{gray}{.5}

\setlength{\textwidth}{.85\textwidth}% just for reproducing the example

\begin{document}
\lettrine[
  loversize=.11,
  findent=0.5em,
  nindent=0pt,
]{\textcolor{theoremgray}{1.1.1}}{\textls{Bezeichnungen:}}
Ist $G$ eine (multiplikativ geschriebene) Gruppe, so f"uhrt man
f"ur beliebige $g \in G$ und $M, N \subseteq G$ die Bezeichnungen
\begin{alignat*}{4}
  &Mg &&= \{mg &&\mid m &&\in M\},\\
  &gN &&= \{gn &&\mid n &&\in N\},\\
  &MN &&= \{mn &&\mid m &&\in M, n \in N\}
\end{alignat*}
\end{document}

丢失的：

• 例如，通过定义定理样式和建立定理将视觉标记包装成适当的逻辑标记。

  这回答Henri Menke 使用包ntheorem作为示例展示了这一点。

Answer 3

部分解决方案：该字体已随包加载mathpazo。