My professor uses these symbols to formalize logic operators. I found versions of (a) and (b), which are rotated by 90°. For (c) I found
\Finv, but it is not exactly the same and is also rotated by 90°.
I looked for the symbols in symbol collections on the web, but couldn't find exact representations. Does anyone know the LaTeX symbol codes for the shown symbols? I would like to avoid rotating the symbols manually.
a) logical "and"
b) logical "or"
c) logical negation