Change Formulation section to shorten
Correct various "x" to be bold, i.e., "\x"