![排他析取的逻辑符号:fwwf](https://linux22.com/image/258365/%E6%8E%92%E4%BB%96%E6%9E%90%E5%8F%96%E7%9A%84%E9%80%BB%E8%BE%91%E7%AC%A6%E5%8F%B7%EF%BC%9Afwwf.png)
detexify
数学符号列表都没有给出我想要的内容:
真值函数 (FWWF)(pq) 的逻辑符号,用英文表示为“既不是 p 也不是 q”,也称为‘排他性析取’,如下所示:
>--<
这是我上过的逻辑课(苏黎世大学)用的符号。看来这个符号不标准。
有人知道如何用 LaTeX 写它吗?或者:什么符号是标准?
一些建议:
\oplus
\downarrow
\veebar
答案1
就像是
\def\hmm{>\joinrel\relbar\joinrel<}
$a \hmm b
也许?