
Respuesta1
Puedes utilizar \mathclap
desde 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 todos modos, creo que su expresión se parece más a la \not
que se refiere solo al signo menos y va seguida de dos puntos:
\[ \gamma\not\mathclap<:\tau \]
que finalmente se puede refinar ligeramente para
\[ \gamma\mkern-2mu\not\mkern2mu\mathclap<:\tau \]
Respuesta2
Aquí mi MWE. ¿Qué prefieres?
\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}
Respuesta3
Elige un nombre más representativo de lo que estás hablando con ese símbolo. Tenga en cuenta que el estándar es utilizar \n<relation name>
para mostrar el símbolo negado de \<relation name>
, por lo que es posible que desee cumplir con eso.
\documentclass{scrartcl}
\usepackage{centernot,amssymb,mathtools}
\newcommand*\somekindofrelation{\mathrel{<:}}
\newcommand*\nsomekindofrelation{\mathrel{\centernot{<}\vcentcolon}}
\begin{document}
\[ \gamma \nsomekindofrelation \tau \]
\end{document}
EDITARResultado: