create implication double_w -> w

Link to implication

Same reason as why double v has an implication to v.

The tag implication double_w -> w has been approved.