An extra substraction symbol