OperatorTimes._tex and __str__ did not wrap first operand in parentheses if Plus