Dot Operators for Logical And
Jan 12, 2025 12:59
My logic textbook this semester uses a dot for “and” instead of an ampersand. Unfortunately, the center dot in LaTeX is too small to be easily legible. I managed to increase the size of the LaTeX cdot by using the bm package and renewing the command to \bm{\cdot}
. In some cases, such as social media and the web, it’s easier to use a unicode symbol. Here are the obvious options:
- Dot Operator ()
- (A ⋅ B)
- Bullet Operator
- (A ∙ B)
- Bullet
- (A • B)
The bullet seems slightly more legible. Here’s how it looks in a more complex formula:
∼[A • (B ∨ C)] ⊃ (B • ∼D)
I don’t see any downside to using the bullet.
Tagged: Logic