在 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
\tpitchfork
0.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
,包括stix
和stix2
。
答案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
\]