This package adds various tools for typesetting formal logic, including an environment that makes it easier to produce good looking formal logic, and a few macros that would be of interest to people studying logic at Oxford (or other places with similar notational conventions).