2
$\begingroup$

I got confused about the tag synonyms, in particular whether the "suggest synonym" feature is "X has a synonym Y" or "X is a synonym of Y". Is there a way to remove master/synonym relation other than downvoting it? It wouldn't be a problem if it weren't for the fact that it seems impossible to have two options $X \to Y$ and $Y \to X$ open at the same time.

(Context: I wanted to suggest $\gets$ pair as discussed here.)

Edit: Already resolved (i.e. enough people downvoted the inappropriate relation).

$\endgroup$
2
  • 1
    $\begingroup$ Could somebody with score at least +5 in college please add a downvote to the tag proposal matheducators.stackexchange.com/tags/college/synonyms so that the one created inadvertently goes away. (This seem to be the intent of OP who created it, AFAIK it is inconsequentlial yet necessary see my answer; the -1 there was me btw.) $\endgroup$
    – quid
    Commented Mar 22, 2014 at 13:19
  • $\begingroup$ @quid Indeed, that was my intent, so the wrong mapping goes away. $\endgroup$
    – dtldarek
    Commented Mar 22, 2014 at 13:38

1 Answer 1

3
$\begingroup$

When you start at a tag T and type in S as a synonym suggestion, then you propose that T stays an actual tag, and S becomes merely a synonym of T. This is typically noted T <-- S.

This means everything tagged S will/would be (automatically) retagged to T. Being a synnonym is highly asymmetric here, and thus it is also not possible that one has both directions at the same time.

As you suspect, in the case you mention it was created the wrong way around. If the current one would be approved we would get <-- and thus keep , which is opposite to the discussion.

I do not know how to get rid of it other than by dwon-voting; it appears one cannot cancel ones own proposals.

As a very general note: the synonm creation only via proposiing and voting on main does often not work well as there is not enough visibility; it can be more efficient to propse synonyms on meta, and we might want to create a dedicated thread for this.

$\endgroup$

You must log in to answer this question.

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