The Logic Notation Guide web pages have been moved to the following address:
Please update your bookmarks