Rubriek: terminal operator