negation of \pitchfork

Question

Is there a symbol for "non-transversality" (or how to create it)? I am thinking about something similar to the negation of the symbol \pitchfork. I did not find anything like this in the list of available symbols.

Answer 1

If you're interested in extracting only the symbol you're after from MnSymbol, then you can follow the procedure listed in Interior product (contraction) symbol.

Here is an MWE that defines \nontrans as a binary relation:

\documentclass{article}
\usepackage{amsmath}% http://ctan.org/pkg/amsmath
\usepackage{fonttable}% http://ctan.org/pkg/fonttable
\DeclareFontFamily{U}{MnSymbolB}{}
\DeclareSymbolFont{MnSyB}{U}{MnSymbolB}{m}{n}
\DeclareFontShape{U}{MnSymbolB}{m}{n}{
    <-6>  MnSymbolB5
   <6-7>  MnSymbolB6
   <7-8>  MnSymbolB7
   <8-9>  MnSymbolB8
   <9-10> MnSymbolB9
  <10-12> MnSymbolB10
  <12->   MnSymbolB12}{}
\DeclareMathSymbol{\nontrans}{\mathbin}{MnSyB}{'211}% Symbol 211
\begin{document}

$A\nontrans B$

\end{document}

In fact, \nontrans is symbol '211 (octal, or decimal 137) from MnSymbolB. Here's the font table if you're interested in extracting a different symbol:

The above font table was created via the fonttable package and adding

\xfonttable{U}{MnSymbolB}{m}{n}% MnSymbolB font table

to the above MWE.

Answer 2

The MnSymbol Pitchforks provides \nuppitchfork found in The Comprehensive LATEX Symbol List by Scott Pakin on page 47.

EDIT:

To create a similar effect, try the following though to my knowledge it is not the most appropriate Latex way of negating a Math Symbol:

 \documentclass[letterpaper]{article}
 \usepackage{mathabx}
 \begin{document}
 \makebox[1em]{$\pitchfork$}\hspace{-1em}\makebox[1em]{/}
 \end{document}

Which produces:

Answer 3

I guess that the following code gives pretty good results, that are consinstent while scaling. (We made an \overline over something that has a width of the symbol and height of a single ..)

\documentclass[12pt]{article}

\usepackage{amssymb}
\def\npitchfork{\mathrel{\overline{\vphantom{.}\smash{\pitchfork}}}}

\begin{document}

\[
A \npitchfork B_{{X\npitchfork Y}_{M\npitchfork N}}
\]

\end{document}