[derefr]

Besides laziness, perhaps there's a slight semantic justification—I imagine there exists at least a few mathematical solvers that can ingest data of the TeX form and work with it, but probably fewer that understand how to ingest Unicode codepoints.