use symbols for objective sense