User blog comment:Cookiefonster/Left-arrow notation?/@comment-10429372-20141105163948/@comment-4224897-20141105165247

yes, the translatability to down-arrows is what i intended.