fixed symbol substitution