[text] Changing notation for substitutions

Also introduces the notation of $\bar x_n$ which is used in several places.