適当な２変数関数 f(x,y) を x+y と書くことにする
変数の適当な値 a を 1 と書くことにする
と記号を再定義すれば、好みの f と a について f(a,a) を 1+1 と表せる。
>>15が言ってるのはそういうことではないか？