最初,我打算使用命令 $\not\mathcal{R}$ 作为二元关系的否定,但命令的串联存在问题。所以我做了任何人在这种情况下都会做的事情,即创建自己的符号。在此页面搜索信息时,我遇到了以下代码:
\newcommand{\TCNegacion}[1]{%
\mathrel{\fbox{\ooalign{$#1$\cr\hidewidth\raisebox{0.5ex}{\rotatebox[origin]{80}{\rule{0.5cm}{0.5pt}}}\hidewidth\cr}}}
}
这段代码解决了最初的问题,但它又产生了另一个问题,即命令的连接$y\TCNegation{\mathcal{T}} g$
不符合我的喜好。我想再旋转一点,以便更好地显示否定,但我失去了所涉及字符的对齐。
有没有更好的方法来解决最初的问题?
是否有可能改进代码?
答案1
你可以再调整一下,但我会使用倾斜的\not
而不是规则的,带有可选的每字符偏移量
\documentclass{article}
\def\mfudge{4mu}
\def\fooA{\def\mfudge{7mu}}
\def\fooI{\def\mfudge{1mu}}
\def\fooM{\def\mfudge{8mu}}
\newcommand\foo[1]{\mathrel{%
\csname foo#1\endcsname
\mkern\mfudge
\not{\mkern-\mfudge\mathcal{#1}}}}
\begin{document}
$\foo{A}$
$\foo{I}$
$\foo{M}$
$\foo{R}$
$\foo{Z}$
\end{document}