Use TreeSet so Symbols are sorted