1
$\begingroup$

I just noticed that negative vote totals are recorded with a hyphen:

-1 votes

In general within the StackExchange network it's probably not worth fussing over, but, here on MO, maybe we could use a minus sign (that is, "−1 votes", as opposed to "-1 votes"). Is this something that is within the power of MO to do, if we choose? (I know that up- and down-vote arrows can be customised, but I don't know about vote totals.) If it is within our power, is it something that the community wants to do?

$\endgroup$
8
  • 11
    $\begingroup$ This seems pettifogging to me. $\endgroup$
    – Yemon Choi
    Mar 2 at 0:03
  • 3
    $\begingroup$ It is certainly not a high priority, but, if not in a community of mathematicians, then where else should one care for using good notation to maintain subtle but meaningful distinctions? $\endgroup$
    – LSpice
    Mar 2 at 4:57
  • 7
    $\begingroup$ This has been suggested a few times in the past, and either declined or ignored by the devs: see e.g. meta.stackexchange.com/questions/124216/… , meta.stackexchange.com/questions/364274/… . $\endgroup$ Mar 2 at 9:17
  • 3
    $\begingroup$ Btw, up and down arrows cannot be customized any longer. The devs are trying hard to get rid of as many exceptions as they can. $\endgroup$ Mar 2 at 9:20
  • 3
    $\begingroup$ @EmilJeřábek, thank you for this and that information. (I would be fine with closing as duplicate, except that my understanding is that we don't do cross-site duplicate closures.) Of course the point of democratic voting is to discover what people think, not to argue with it, but I'm surprised that a notational proposal that at various times has gathered 37 − 5 and 26 − 3 upvotes on the general SE network should be currently so poorly received here. Nonetheless, I guess it is moot! $\endgroup$
    – LSpice
    Mar 2 at 14:35
  • 2
    $\begingroup$ @EmilJeřábek The agreement between MO and SE states that the MO team can customize the look and feel of the site with additional Javascript, as long as the MO team maintains it (point 4 here). This change seems simple enough to do with Javascript, even if the SE developers don't want to implement anything. $\endgroup$ Mar 6 at 22:30
  • 1
    $\begingroup$ @FedericoPoloni If it’s really that simple, go for it. I know nothing about the capabilitites of Javascript. $\endgroup$ Mar 7 at 8:34
  • 2
    $\begingroup$ @EmilJeřábek I am not particularly interested in this change myself, or strongly supporting it; I was just pointing out that it is well within the realm of possibility. $\endgroup$ Mar 7 at 10:03

1 Answer 1

7
$\begingroup$

Adapted from a comment of mine: yes, it is technically in MO's power.

The agreement between MO and SE states that the MO team can customize the look and feel of the site with additional Javascript, as long as the MO team maintains it (point 4 here).

This change seems simple enough to do with Javascript, even if the SE developers don't want to implement anything.

It is additional burden on the moderators, though, so maybe OP or someone else who is interested in this change can put together the Javascript code to do it.

Another possibility is creating a userscript, so everyone who wants to see true minus signs can install it on their browser and customize the appearance for themselves only. In my opinion it is best to start from this route, creating a userscript and publishing its code here, so that everyone can test the result.

$\endgroup$
1
  • 6
    $\begingroup$ A userscript for this purpose has been written up by user3840170 in an answer on Meta SE. $\endgroup$ Mar 7 at 21:05

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .