APA Dictionary of Psychology

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