push button switch

What do you call that circular switch for ceiling fans that turns on/off and controls speed?

I'm looking for the name of a specific type of wall switch used for ceiling fans. It's a circular switch that you push to turn on and off,…