[Tex/LaTex] Command for transverse, and not \pitchfork, as used in Guillemin and Pollack

packagessymbols

In Guillemin and Pollack's Differential Topology book, they use the notion of transverse, but not the \pitchfork to denote it. It is very similar, but has a 'T' in it instead of just a ' | ' in the symbol.

The following picture (taken from the book preview in Google Books, page 68) shows the symbol

enter image description here

I and my peers have searched for a convenient way to produce this symbol, but the quick and easy ways produce unsatisfying result, such as \overline and \bar. Before we go and draw one and make a command, I thought I would see if anyone has knowledge of this being available in some package or a better way to get what we want. Thanks.

Best Answer

Here's a way to construct the symbol:

\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}

If you don't plan to use the symbol in sub/superscripts, you may remove the \text around \tpitchfork.

enter image description here

If you'd like to lower the symbol, add something like \raise-0.1ex just before \vbox in the definition of \tpitchfork and adjust the 0.1 to suit.

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