I don't know how to typeset the $\Rightarrow$ with the text under it as shown in this image? I know that \xrightarrow{\text{substitution}} gives rise to $\xrightarrow{\text{substitution}}$ but when changing the r with R I get an error. Furthermore, how to make the text appear under the arrow?
Thanks!