Translating the Construction Process of a Symbolic Equation