排他析取的逻辑符号:fwwf

排他析取的逻辑符号:fwwf

detexify数学符号列表都没有给出我想要的内容:

真值函数 (FWWF)(pq) 的逻辑符号,用英文表示为“既不是 p 也不是 q”,也称为‘排他性析取’,如下所示:

>--<

这是我上过的逻辑课(苏黎世大学)用的符号。看来这个符号不标准。

有人知道如何用 LaTeX 写它吗?或者:什么符号标准?

一些建议:

\oplus 

\downarrow

\veebar

答案1

就像是

\def\hmm{>\joinrel\relbar\joinrel<}

$a \hmm b 

也许?

enter image description here

相关内容