symbols resolution