You'll see what you mean: Students encode equations based on their knowledge of arithmetic