substituionの表記揺れ

イントロ

置換の$ \lbrack t/x \rbrack、どっちがどっちかわからなくなるので、$ \lbrack x \coloneqq t \rbrack表記のほうがいい説

「置換の表記を調べた結果研究者によってバラバラで、全部で20種類ぐらいある」みたいなスライドがどこかにあった気がするけど忘れてしまった（Oracleかどこかのスライドだった気がする）

これ確かにあった筈なのに調べても出てこない，ありませんか？

結論

https://gyazo.com/a52e8efa0d18ad76cb9dbd167d3d6d1e

https://gyazo.com/72f464697e9a0731005cd9eee570439e

国立公園管理局さん，ありがとうございます

メモ

岩波数学事典第4版の数理論理関係の項目を書いているときに、執筆者の間で代入の記法を統一すべきだということになり、検討の結果$ e\lbrack v/x \rbrackの形が採用されました。他分野はわかりませんが、論理関係の項目ではこれになってます。