resolution on symbols