我想用 Latex 绘制一个“分离含义”符号。
这是分离逻辑中的一个操作符,它如下所示:
它应该是减号 ( -
) 与星号 ( *
) 的组合,但如何完全消除它们之间的空格?
我尝试了\mathrel{{-}{*}}
,但是没有用。
答案1
这个可以吗?
\documentclass{article}
\newcommand\sepimp{\mathrel{-\mkern-6mu*}}
\begin{document}
$P\sepimp Q$
$\scriptstyle P\sepimp Q$
$\scriptscriptstyle P\sepimp Q$
\end{document}
答案2
快捷文字版:
\documentclass{article}
\newcommand{\sep}{--\kern-.25em\raisebox{-.62ex}{*}\ }
\begin{document}
P \sep Q
\end{document
数学模式版本:
\newcommand{\sep}{-\kern-.6em\raisebox{-.659ex}{*}\ }