Symbolverzeichnis verschönert