There has just recently ben created a double-factorial tag. I don't think we should have another tag just for this and that the tag factorial suits it well enough. I propose we change the tag wiki for factorial to include double factorials and remove the double-factorial tag.
13
$\begingroup$
$\endgroup$
-
5$\begingroup$ Or we could even make (double-factorial) a synonym of (factorial). Creating a tag synonym means, that whenever someone tags their question (double-factorial), the tag is automatically changed to (factorial). $\endgroup$ – Martin Sleziak Oct 7 '14 at 19:03
-
8$\begingroup$ Seeing that double integrals and triple integrals merrily live under (integration), I think double factorials need not try to secede from (factorial). $\endgroup$ – user147263 Oct 7 '14 at 22:44
-
$\begingroup$ I fully agree with the comments from @MartinSlezak and CareBear. When using double factorials we typically use also factorials in the same calculation. This split would be too fine-grained for a part of factorials which has not that importance. And if we would use a tag double-factorial what about introducing another tag triple-factorial? :-) $\endgroup$ – Markus Scheuer Oct 11 '14 at 13:56
-
6$\begingroup$ It's worth noting that $(x!)!\ne x!!$ $\endgroup$ – Alice Ryhl Oct 11 '14 at 17:23
3
$\begingroup$
$\endgroup$
It seems that everyone agrees that we should not have a tag named double-factorial, I have changed the tag of the single question with double factorial to factorial and the double factorial tag should shortly delete itself assuming no new questions get added to the tag
