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.



logic symbols

a) logical "and"
b) logical "or"
c) logical negation

  • 1
    Welcome to TeX.SE!
    – Mensch
    Apr 27, 2021 at 14:01
  • 2
    Did your professor type those symbols, or write them on black board? (If the former, you can ask the professor; if the latter, they look like that they are intended to be "blackboard bold" versions. You may be able to just use \pmb or \boldsymbol on \land, \lor, and \neg to get actual bold version.) Apr 27, 2021 at 14:32
  • 1
    Try the [compreensive symbol list][1]. Of course there are versions without double rules like you ask. Search for \wedge, \vee and \neg in that list. [1]: tug.ctan.org/info/symbols/comprehensive/symbols-a4.pdf Apr 27, 2021 at 14:35
  • @WillieWong he uses a PDF file, which he uses for years, but he is one of these persons who don't use computers very good. I guess someone created the file which he uses for the course. Currently he writes for demonstrations the symbols on the black board instead of the whiteboard which Zoom provides. But you're right, I could ask him.
    – Seminom
    Apr 27, 2021 at 20:19
  • 1

2 Answers 2


I suggest making your own symbols:

enter image description here





$P\AND Q\land R$

$P\OR Q\lor R$

$\NOT P, \lnot P$


I've never seen those symbols, except for one similar to your last one in a question here.

Rotating symbols seems the only way, but we can leave all calculations to TeX and not guess amounts of raising or lowering.






$\qnot x\qand y\qor z$

$\lnot x\land y\lor z$


enter image description here

  • I have never seen these symbols before, too. It looks like, that it is special in my philosophy course. Thank you for your guideline.
    – Seminom
    Apr 27, 2021 at 20:33
  • The characters look like "blackboard bold" versions of \vee, \wedge, and \neg, but I don't find those in the usual \Bbb fonts... Apr 27, 2021 at 22:39

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .