Use amsmath. Add macro for "does not imply" using centernot package.