pocket operators