Hand switch / Pushbutton switch is exactly the form of toggle, pushbutton, rotary, pull-chain, etc. A common form of industrial pushbutton switch.
