add a few operators