更细的“整数环”$\mathcal{O}$

Question

自始至终诺伊基希代数数论中，他分别用小号和大号的 来表示戴德金域及其扩张，我只能将其描述为更细（即不那么粗体）的$\mathcal{O}$，这是常用的符号来表示数域的整数环。

以下是书中与标准并列的用法$\mathcal{O}$：

我怎样才能重现这些符号？它们似乎不属于标准字母表（例如\mathcal，\mathfrak等）。

Answer 1

这看起来像是调整大小\mathcal{O}为\scriptsize：

\documentclass{article}
\newcommand{\dedekind}{{$\scriptstyle\mathcal{O}$}}
\begin{document}
\noindent \textbf{(8.1) Proposition.} \slshape Let~\dedekind\ be a Dedekind domain
with field of fractions~$K$, let $L|K$ be a finite extension of~$K$ and~$\mathcal{O}$
the integral closure of~\dedekind\ in~$L$. Then~$\mathcal{O}$ is again a Dedekind
domain.
\end{document} 

根据用途（通常是独立的或数学表达式的一部分），以下定义可能会有所帮助：

\newcommand{\dedekind}{\ensuremath{\scriptstyle\mathcal{O}}}

\ensuremath允许您在数学和文本模式中混合使用。更广泛的定义\dedekind包括\mathchoice允许\mathcal{O}在上标中使用时“动态”调整大小。