"Нестандартные" обозначения

[arseniiv]

Меня интересуют обозначения наподобие скобок Айверсона, которые редки, но помогают уменьшать длину формул.

Вот, например, нет никакого обозначения для функции, которая появляется в формуле один раз (мне, например, отсутствие такого общепринятого обозначения осложняет упросить запись, например, производной композиции функций, когда функций много и легко ошибиться:
$u(x) = \cos x;\quad v(x) = x^4 + a;\quad w(x) = e^x $
$(f(\cos (e^{4x} + a)))' = (f \circ u \circ v \circ w)' = \ldots $
не люблю вводить лишние обозначения, мне бы лучше что-то вида
$(f \circ \cos \, \circ x \mapsto x^4 + a \circ x \mapsto e^x )' = \ldots $). Показанное обозначение крайне неловкое, может, есть что-нибудь получше типа $\left( {\square ^4 + a} \right)$?

Ведь есть же временное обозначение при вычислении определённых интегралов (и, может, ещё каких-нибудь разностей при большом количестве подформул): $\left. {u(x)} \right|_a^b = u(b) - u(a)$. Я тоже говорю о временном обозначении, потому как такие анонимные функции в окончательном результате совершенно никаких плюсов никому не дают.

[migmit]

$(\lambda x.x^4+a)$

[arseniiv]

Неужели лямбда-исчисление так удобно для представления временных формул?

[migmit]

Лямбда-исчисление невероятно удобно, но пользуются им, почему-то, немногие.

[arseniiv]

Ну, ведь мало кто о нём знает... И мало кто его достаточно хорошо понимает, боюсь