这些逻辑运算符号是否存在而不需要旋转？

Question

我的教授使用这些符号来形式化逻辑运算符。我发现了 (a) 和 (b) 的版本，它们旋转了 90°。对于 (c)，我发现了\Finv，但它并不完全相同，也旋转了 90°。

我在网上的符号集合中查找这些符号，但找不到确切的表示。有人知道所显示符号的 LaTeX 符号代码吗？我想避免手动旋转符号。

问候

塞米诺

a) 逻辑“与”
b) 逻辑“或”
c) 逻辑否定

Answer 1

我建议你制作自己的符号：

\documentclass{article}

\usepackage{amssymb}
\usepackage{graphicx}

\newcommand{\AND}{\mathbin{\raisebox{.08ex}{\rotatebox[origin=c]{-90}{$\leqslant$}}}}
\newcommand{\OR}{\mathbin{\raisebox{.08ex}{\rotatebox[origin=c]{-90}{$\geqslant$}}}}
\newcommand{\NOT}{\lnot\hspace{-.5em}\lnot}

\begin{document}

$P\AND Q\land R$

$P\OR Q\lor R$

$\NOT P, \lnot P$

\end{document}

Answer 2

我从来没有见过这些符号，除了一个类似于你最后一个问题的符号这里。

旋转符号似乎是唯一的方法，但我们可以将所有计算留给 TeX，而不用猜测升高或降低的数量。

\documentclass{article}
\usepackage{amsmath,amssymb,graphicx}

\makeatletter
\newcommand{\qand}{\mathbin{\mathpalette\and@or@q\leqslant}}
\newcommand{\qor}{\mathbin{\mathpalette\and@or@q\geqslant}}

\newcommand{\and@or@q}[2]{%
  \vcenter{\hbox{%
    \raisebox{\depth}{\rotatebox[origin=c]{-90}{$\m@th#1#2$}}%
  }}%
}

\newcommand{\qnot}{\lnot\mspace{-9mu}\lnot}
\makeatother

\begin{document}

$\qnot x\qand y\qor z$

$\lnot x\land y\lor z$

\end{document}