Add a terminator operator