symbols.yaml: add more symbols.