How can I use \not with more than one symbol?

Question

When using \not in math mode only the following symbol gets crossed, is there any way to apply it to more than one symbol evenly as if it were one operator?

I tried \not{<:} but it doesn't work.

\not is just symbol, its bounding box has zero width and the symbol is actually to the right of that box by an amount designed to place in top of many following symbols. — Andrew Swann, Jan 19 '17 at 20:21

Ruben · Accepted Answer · 2017-01-19T18:26:48.467

11

You can use \mathclap from mathtools:

\documentclass{article}
\usepackage{amsmath}
\usepackage{mathtools}

\DeclareMathOperator{\lecolon}{<:}

\begin{document}
\[ \not\mathclap\lecolon \]
%your whole expression should be something like
\[ \gamma\not\mathclap\lecolon\mkern10mu\tau \]
\end{document}

Anyways, I think your expression looks more like the \not reffers only to the less sign and it's followed by a colon:

\[ \gamma\not\mathclap<:\tau \]

which can finally be slightly refined to

\[ \gamma\mkern-2mu\not\mkern2mu\mathclap<:\tau \]

edited Jan 19 '17 at 18:26

answered Jan 19 '17 at 18:01

Ruben

13,448

Note, of course, that the \mathclap totally kills the width of its contents, so if you're using \not\mathclap\iff or some other longer symbol then you'll need to adjust your \mkerns. (Also, you should consider using mathtools's <\vcentcolon instead of <: .) – wchargin Jan 19 '17 at 23:01

Sebastiano · Answer 2 · 2017-02-15T18:20:22.660

10

Here my MWE. What do you prefer?

\documentclass[a4paper]{article}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\usepackage[english]{babel}
\usepackage[utf8x]{inputenc}
\usepackage[T1]{fontenc}
%%%%%%%%%%%%%%%%%%%%%%%%Useful packages
\usepackage{amsmath}
\usepackage{centernot,cancel}

\begin{document}

\[
  \cancel{<:} ~~~~\text{or}~~~~ \centernot{<:}
\]

\end{document}

edited Feb 15 '17 at 18:20

answered Jan 19 '17 at 18:09

Sebastiano

54,118

score 8 · Answer 3 · edited Jan 19 '17 at 18:41

Choose a more representative name of what you are talking about with that symbol. Note that the standard is to use \n<relation name> to show the negated symbol of \<relation name>, so you may want to adhere to that.

\documentclass{scrartcl}

\usepackage{centernot,amssymb,mathtools}

\newcommand*\somekindofrelation{\mathrel{<:}}
\newcommand*\nsomekindofrelation{\mathrel{\centernot{<}\vcentcolon}}

\begin{document}

\[ \gamma \nsomekindofrelation \tau \]

\end{document}

EDIT Result:

How can I use \not with more than one symbol?

3 Answers3