对于 Hom 和 H*(X,Z) - 哪些字体?

对于 Hom 和 H*(X,Z) - 哪些字体?

这是一个关于风格的问题,我正在争论数学运算符是否\Hom应该只是

\DeclareMathOperator{\Hom}{Hom}

或者如果它应该是一些变体

\DeclareMathOperator{\Hom}{\mathnormal{Hom}}

我之所以考虑这一点,是因为我正在使用eulervm包。另外,当我写类似的东西时cohomology $H^*(X,Z)$,我不会使用\text{H}而是保留 eulervm 的数学字体。

您觉得如何?这个问题有意义吗?

这是一个包含两个选择的最小示例。

\documentclass{amsart}
\usepackage{eulervm}
\begin{document}
\[ \operatorname{Hom}(A,B) = 0 \]
\[ \mathnormal{Hom}(A,B) = 0 \]
\[ H^2(X,Z) = 0\]
\[ \operatorname{H}^2(X,Z) = 0\]
\end{document}

答案1

“Hom”和“H”都与“log”相似,所以应该用正文字体排版(直立)。不过,有不同意见也无妨。

最重要的是使用宏定义:

\DeclareMathOperator{\Hom}{Hom}% preferred
%\DeclareMathOperator{\Hom}{\mathnormal{Hom}}% with Euler type
\DeclareMathOperator{\HH}{H}% preferred
%\DeclareMathOperator{\HH}{\mathnormal{H}}% with Euler type

不可以\H,因为已经被预订了。

在文档正文中,您只使用\Hom\HH。这样,您可以将选择推迟到最后一刻。

在欧拉类型中,缩小“Hom”中的空间不是一个选择:看下面的图片就可以知道原因。

在此处输入图片描述

图片来源:

\documentclass{amsart}
\usepackage{eulervm}
\begin{document}

\newcommand{\test}[1]{$H\mkern-#1mu o\mkern-#1mu m$\par}

\test{0}\test{0.2}\test{0.4}\test{0.6}\test{0.8}\test{1}

\end{document}

答案2

这个答案的目的只是为了反对egreg的说法HnX) 应排版为直立的 H。他声称 H 类似于 log,因此应以类似的方式排版。

我相信Hn是一个函子F就像C (X),πnX),ΩX)所有这些都用斜体字书写,就像任何其他数学对象一样,并且HnX) 应该没有什么不同。

相关内容