User blog:Boris Huller/Down arrow notation