>>510
意味は分からないが…

単純に言うと
a = 1 + 3 (のような)
f[a] = ...
と定義したらaと入力して1 + 3が返り、
f[a]と入力してf[1] + f[3]みたいな表示が返ればいいのか？
a = HoldForm[1 + 3]
f[a:HoldForm[x + y]] = HoldForm[f[x] + f[y]]

いづれにせよ
計算されてなければa, bからc, d,...やPlus, Minusをとり出すことはできる。