an electrical on-off switch whose external operating mechanism is a short pivoted lever terminating in a rounded knob, rather than a spring-loaded rocker