5

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.

Roelof Spijker
  • 17,663
  • 5
  • 55
  • 63
vito
  • 193

3 Answers3

4

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:

enter image description here

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

enter image description here

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

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

to the above MWE.

Community
  • 1
Werner
  • 603,163
  • Well done! I would just add that for consistency it is probably good to use the symbol for \pitchfork from MnSymbol as well (it is in MnSymbolA font I believe). – yo' Feb 09 '12 at 07:04
3

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

example

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: test

azetina
  • 28,884
  • 2
    beware the side effects of mathabx; it changes the shape of many symbols. if just one or two symbols are needed, there is a "recipe" for accomplishing that in an answer to this question. – barbara beeton Feb 07 '12 at 17:57
  • I suppose so, my suggestion is just a sample with a \pitchfork without negation. – azetina Feb 07 '12 at 18:05
  • but a \pitchfork does require a package that provides the symbol. the package shown in your example is mathabx. (this symbol is also provided by \usepackage{amssymb}, which conflicts with none of the "standard" computer modern symbols. there may be others that don't have such a wide-reaching scope, but i haven't checked.) – barbara beeton Feb 07 '12 at 19:04
  • MnSymbol is a package that provides really a lot of symbols, but changes the appearance of a lot of symbols. I would really need some option passed to that package, so that I can write e.g. \Mn{\pitchfork} to get the one from MnSymbol package and without \Mn to get the symbols as usual. – yo' Feb 08 '12 at 09:01
1

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}
yo'
  • 51,322