the extrinsic eye muscle that rotates the eyeball upward if it contracts when the eye is pointing toward the side of the head and contributes to upward motion (together with the inferior oblique) if it contracts when the eye is pointing straight ahead.