fix \exists and add \partial