ド・ブラウン記法
ド・ブラウン記法の項は、vを任意の変数名、MとNを任意のド・ブラウン記法の項とするとき、
v
[v] M
(M) N
の形で表されるもの全てである。