addition to replace_english()

finalize "4x" to "4*x" in replace_english()