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