命令为横向,而不是 \pitchfork,如 Guillemin 和 Pollack 所用

命令为横向,而不是 \pitchfork,如 Guillemin 和 Pollack 所用

在 Guillemin 和 Pollack 的《微分拓扑》一书中,他们使用了横向的概念,但没有使用 \pitchfork 来表示它。它非常相似,但符号中有一个“T”,而不仅仅是“|”。

下面的图片(取自Google 图书中的图书预览,第 68 页) 显示符号

在此处输入图片描述

我和我的同事一直在寻找一种方便的方式来生成这个符号,但快速简便的方法会产生不令人满意的结果,例如 \overline 和 \bar。在我们绘制一个并发出命令之前,我想看看是否有人知道这个在某个包中可用,或者有更好的方法来获得我们想要的东西。谢谢。

答案1

以下是构造符号的方法:

\documentclass{article}
\usepackage{amsmath,amssymb}

\newcommand{\transv}{\mathrel{\text{\tpitchfork}}}
\makeatletter
\newcommand{\tpitchfork}{%
  \vbox{
    \baselineskip\z@skip
    \lineskip-.52ex
    \lineskiplimit\maxdimen
    \m@th
    \ialign{##\crcr\hidewidth\smash{$-$}\hidewidth\crcr$\pitchfork$\crcr}
  }%
}
\makeatother

\begin{document}
$f_{s} \transv Z$

$X_{f_{s} \transv Z}$
\end{document}

如果您不打算在下标/上标中使用该符号,则可以删除周围\text\tpitchfork

在此处输入图片描述

如果您想降低符号,请在定义\raise-0.1ex之前添加一些类似的内容,并调整以适应。\vbox\tpitchfork0.1

\newcommand{\tpitchfork}{%
  \raise-0.1ex\vbox{
    \baselineskip\z@skip
    \lineskip-.52ex
    \lineskiplimit\maxdimen
    \m@th
    \ialign{##\crcr\hidewidth\smash{$-$}\hidewidth\crcr$\pitchfork$\crcr}
  }%
}

答案2

我也在寻找这个,并在列出的 UTF-8 字符库中找到了它“带 T 恤的干草叉”

UTF-8 字符:⫚(十六进制代码U+2ADA:)

有趣的是,旁边还有一个字符,叫做“横向交叉口“。

UTF-8 字符:⫛(十六进制代码U+2ADB:)

我的数学老师使用前者(如您的问题所示),因此该符号的使用可能是合法的。也许两者都是可接受的替代方案?我不是专家。

答案3

Barbara Beeton 和 Bill 说明了 Unicode 中这个符号是什么,但没有说明如何真正获取它。

在 LuaLaTeX 或 XeLaTeX 中:

\documentclass{article}
\tracinglostchars=2
\usepackage{unicode-math}

% Select any math font that has \topfork, and a matching text font.
\setmathfont{NewCMMath-Book.otf}

\begin{document}
\[ f_S \topfork Z \]
\end{document}

新计算机现代样本

包含此符号的字体包括 XITS Math、STIX Two Math 和 New Computer Modern Math。\tracinglostchars=2如果您使用的字体不包含此符号,则该命令将打印警告。

您还可以将此符号与不包含该符号的其他数学字体组合。以下示例使用 Latin Modern Math 作为主要数学字体,但从 New Computer Modern 中获取此符号并将其缩放到相同高度:

\setmathfont{Latin Modern Math}
\setmathfont{NewCMMath-Regular.otf}[range=\topfork, Scale=MatchUppercase]

在旧版 TeX 中,有多个包包含\topfork,包括stixstix2

答案4

我的想法是:https://tex.stackexchange.com/a/21647

尝试这个:

\makeatletter
\newcommand{\superimpose}[2]{%
  {\ooalign{$#1\@firstoftwo#2$\cr\hfil$#1\@secondoftwo#2$\hfil\cr}}}
\makeatother
\newcommand{\transversal}{\mkern-1mu\mathrel{\mathpalette\superimpose{{\top}{\scrunch{\cap}}}}\mkern-1mu}
\newcommand{\scrunch}[1]{\resizebox{\width}{.9\height}{$#1$}}

在文档中:

\[
f_{s}\transversal Z
\]

例子

相关内容