For all the logic nodes I'm making, I'm using these symbols. These are not the ones you'd usually see, but I needed something every browser could handle.

~ = Not (this is pretty standard)

* = And (usually just a bullet point)

^ = Or (usually a small 'V')

= = The same as (standard)

> = Implication (If,Then, --usually a sideways 'U')

# = If and Only If (usually three horizontal lines stacked vertically)

P,Q = Statements (standard)

// = The conclusion of an argument (standard)

More formally, you might see the following. HTML symbol names are in parentheses.

¬ NOT   (¬)

OR   (∨)

AND   (∧)

equivalent   (≡)

→ implies   (→)

if and only if   (↔)

| NAND

NOR   (↓)

falsum, 0   (⊥)

Y'know, if you log in, you can write something here, or contact authors directly on the site. Create a New User if you don't already have an account.