updated semantics

renamed negativeSymbols
copy/paste error