Adding more logic operators
Updating de Morgan's Laws example to use new ∀
Bumping version
Adding link to full list of implemented symbols
Bumping version