we can't have <cmp>+ because that messes up because it isn't a real symbol