The Free On-line Dictionary of Computing (19 January 2023):
push-buttonA roughly fingertip-sized plastic cover attached to a spring-loaded, normally-open switch, which, when pressed, closes the switch. Typical examples are the keys on a computer or calculator keyboard and mouse buttons. (1997-07-07)