>>906
英語版に書いてあるじゃん

The notation was invented by Paul Klimek in Santa Cruz, California in 1981,
and later developed by undergraduates Bruce "Boppo" Tiemann and the late Bengt Magnusson
at the California Institute of Technology in 1985, and by Mike Day, mathematician Colin Wright,
and mathematician Adam Chalcraft in Cambridge, England in 1985 (whence comes an alternative name).[5][a]