アイバーソンの記法
Donald Knuth, "Two Notes on Notation", American Mathematical Monthly, Volume 99, Number 5, May 1992, pp. 403–422. (TeX, arXiv:math/9205211)
Kenneth E. Iverson, "A Programming Language", New York: Wiley, p. 11, 1962.