答案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}
无论如何,我认为你的表达看起来更像是\not
只引用较小的符号并且后面跟着一个冒号:
\[ \gamma\not\mathclap<:\tau \]
最后可以稍微改进一下
\[ \gamma\mkern-2mu\not\mkern2mu\mathclap<:\tau \]
答案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}
答案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}
编辑结果: