I have encountered innumerable variations to functionally identical 2-lead physical switches, like the push-to-toggle buttons I am currently working with. Manually depressing the button toggles between two alternate states, popped up and pressed down, each of which physically separates and bring into contact the conductors, respectively.
Does there exist a widely-available 3-lead variation of the described switch that physically pops the switch up when the trigger lead is supplied current, and what it it called?