Например правило дифференцирования сложной функции выглядило бы так
D::(Banah X,Banah Y)=>(X->Y)->X->L(X,Y) --а лучле (X->Y)->X->L X Y
D (f . g) x h = D (g x) (D f x h)
Да и вообще, как говорил лектор по матану "нет замен координат, а есть диффеоморфизмы", а скобки у нелинейных операторов всеравно нужно ставить ("f(x)" вместь "f x" :( )
