¿Alguien puede decirme qué es este tipo de interruptor? Parece algo así como un disparador en acción.
Por lo general, se le llama "interruptor de detección". Digikey los tiene listados en "acción rápida, interruptores de límite". Hay muchos tipos, un tipo similar se muestra a continuación.
Lea otras preguntas en las etiquetas switches