Pulsadores dobles (pulsador verde rasante y rojo saliente con cubierta)