more work on substitutions and symbol fonts