Added symbol selection for domination table.