Como posso usar \not com mais de um símbolo?

Question

Ao usar \notno modo matemático, apenas o símbolo a seguir é cruzado. Existe alguma maneira de aplicá-lo a mais de um símbolo uniformemente, como se fosse um operador?

Eu tentei \not{<:}, mas não funciona.

Answer 1

Você pode usar \mathclapde 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}

De qualquer forma, acho que sua expressão se parece mais com o \notsinal de menos e é seguida por dois pontos:

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

que pode finalmente ser ligeiramente refinado para

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

Answer 2

Aqui meu MWE. O que você prefere?

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

Answer 3

Escolha um nome mais representativo do que você está falando com esse símbolo. Observe que o padrão é usar \n<relation name>para mostrar o símbolo negado de \<relation name>, então você pode querer aderir a isso.

\documentclass{scrartcl}

\usepackage{centernot,amssymb,mathtools}

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

\begin{document}

\[ \gamma \nsomekindofrelation \tau \]

\end{document}

EDITARResultado: