Push button for HP-10 series [Back]