Change in shape of pupil on pressure upon the eye, transitory during life, but permanent after death.