symbol substitutions