Models Can and Should Embrace the Communicative Nature of Human-Generated Math