Title: The symbol tree