L∅γι⊂αl ∫ϒmβ∅l∫...

Finally found the kind of guide I was looking for!

http://www.danshort.com/HTMLentities/index.php?w=maths

{p : p it is raining}
{q : q the ground is wet}
p ⊃ q, p ∴ q

p ∴ p

"The ground is wet." =
{Wx : x is wet}
{Gx : x is the ground}
(∃x)(Wx ∧ Gx)

"The ground is not wet." =
{Wx : x is wet}
{Gx : x is the ground}
(∃x)(~Wx ∧ Gx)