symbolic proportion definition - Search