+< operator