changed notation in gravitation