Does $f^n(x)$ always mean $f(f(f(f(...f(x))))....)$ [n times]?
i.e. $f^3(x)$ always means $f(f(f(x)))$?
Does $f^0(x)$ mean $x$? [where $f\neq id$]
By always, I mean regardless of whether it's for proofs in computer science or for calculus.
Just want to be doubly sure so I don't make any unfounded leaps in my proofs by induction for computer science.
Apologies for this simian question. Many thanks!