Should double factorials be under the factorial tag?

There has just recently ben created a tag. I don't think we should have another tag just for this and that the tag suits it well enough. I propose we change the tag wiki for to include double factorials and remove the tag.

• 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). – Martin Sleziak Oct 7 '14 at 19:03
• Seeing that double integrals and triple integrals merrily live under (integration), I think double factorials need not try to secede from (factorial). – user147263 Oct 7 '14 at 22:44
• 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? :-) – Markus Scheuer Oct 11 '14 at 13:56
• It's worth noting that $(x!)!\ne x!!$ – Alice Ryhl Oct 11 '14 at 17:23