s/symbolic//