ninusx has a bunch of names, also

So we condense it to `minusx`