8
$\begingroup$

@YCor made a suggestion in an answer to another post (What is the intended use of the (proofs) tag?) a bit over a year ago. It received several upvotes, but does not appear to have been acted upon. I thought it might receive more attention here:

It's not exactly about the original question, but now has been duly removed. There are still the tags and (47 and 17 questions respectively at this date 2020/Feb/06). While in practice they have close meanings, the second one is unpleasantly non-neutral, and I'd like it to be removed, practically making it a synonym of would sound fine. Or manually (I'll understand upvotes/downvotes of this answer as for/against replacement of with ).

I tried proposing the tag synonym myself, but I do not have sufficient reputation.

$\endgroup$
7
  • 1
    $\begingroup$ An interesting thing about post titles: it appears possible to use [tag:xxx] in the title when creating a post, but not when editing it. I tried to edit meta.mathoverflow.net/questions/4927/… accordingly, and was scolded by the software. $\endgroup$
    – LSpice
    Mar 27, 2021 at 17:19
  • 1
    $\begingroup$ A related discussion in chat: About (slick-proof) and (alternative-proof). $\endgroup$ Mar 27, 2021 at 18:01
  • 2
    $\begingroup$ Merged. All options here are "meta tags". Ideally, these would not exist at all. Can you imagine a MO user who is systematically interested in all alternative or all slick proofs? I can't but in this case, I can imagine a MO user doing a one-time systematic search for alternative proofs but the tag alone will not fully capture all cases and the user should probably use another kind of filtering. In any case, that's enough for not deleting entirely. $\endgroup$ Mar 27, 2021 at 20:22
  • 2
    $\begingroup$ @FrançoisG.Dorais, could you post that as an answer so I can accept it? $\endgroup$
    – LSpice
    Mar 27, 2021 at 22:41
  • 1
    $\begingroup$ Also, @FrançoisG.Dorais, since you have the capacity to make such actions yourself, would it be possible for you to approve the synonym characteristic-ppositive-characteristic, as in meta.mathoverflow.net/questions/4927/…? $\endgroup$
    – LSpice
    Mar 27, 2021 at 23:56
  • 1
    $\begingroup$ I like the slick proofs tag... I and my grad student and postdoc friends enjoy looking at slick proofs outside our areas of concentration. Maybe not literally every one, but generally I like looking at cool tricks I can just learn. $\endgroup$ Mar 29, 2021 at 18:10
  • $\begingroup$ I think that everybody (well, every mathematician) likes looking at slick proofs, but MO is not the place for collecting all things (not even all mathematical things) that are pleasant to look at; SE in general shies away from 'bloggy' content (although MO is different from SE generally in many ways, including this way sometimes). Also, not to be too crude, I'm much more interested in the community's judgement of which proofs are slick than in any individual question-poser's judgement. $\endgroup$
    – LSpice
    Mar 29, 2021 at 20:04

1 Answer 1

4
$\begingroup$

This has been done (probably a long time ago, but I just noticed).

$\endgroup$
2
  • 1
    $\begingroup$ Actually, the moderator who created the synonym left a comment at the time. (And you responded by asking him to post it as an answer.) Both SEDE and the list of tag synonyms say that it was created in March 2021 by François G. Dorais. $\endgroup$ Jul 7, 2023 at 16:56
  • $\begingroup$ @MartinSleziak, re, whoops! Indeed, it is just as you say. Thanks! $\endgroup$
    – LSpice
    Jul 7, 2023 at 17:02

You must log in to answer this question.

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