symbolic edit