The reason you went for `minus` is because of the Unicode naming for the character (http://www.fileformat.info/info/unicode/char/2212/index.htm), and because it matches nicely with `plus`.

No worries, there's no reason to doubt this imho.