This notation is basically universal in mathematics but I don't know a name for it, so I made one up. I don't have strong opinions about whether it makes sense for this to be its own page or whether there should be some big page of common mathematical notation.