"dobbeltkontroller" er et 17-bokstavers substantiv som brukes som synonym for "dobbeltknappetere". dobbeltknappetere betyr: Enhet med to kontrollpunkter