symbolic operator