Как использовать \not с более чем одним символом?

Question

При использовании \notв математическом режиме перечеркивается только следующий символ. Есть ли способ применить его к нескольким символам равномерно, как если бы это был один оператор?

Я попробовал \not{<:}, но не получилось.

Answer 1

Вы можете использовать \mathclapиз 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}

В любом случае, я думаю, что ваше выражение больше похоже на \notrefers, только со знаком «меньше» и двоеточием после него:

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

который в конечном итоге может быть немного улучшен до

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

Answer 2

Вот мой MWE. Что вы предпочитаете?

\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

Выберите более репрезентативное название того, о чем вы говорите с помощью этого символа. Обратите внимание, что стандарт заключается в использовании \n<relation name>для отображения отрицания символа \<relation name>, поэтому вы можете придерживаться этого.

\documentclass{scrartcl}

\usepackage{centernot,amssymb,mathtools}

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

\begin{document}

\[ \gamma \nsomekindofrelation \tau \]

\end{document}

РЕДАКТИРОВАТЬРезультат: