symbolic edited