Correctly use \over