Showing substitutions in a formula