View Source StringNaming.TwoHeadedArrowSymbols.Downwards (string_naming v0.7.1)