“latex2unicode.py”, Gwern2023-06-28 (Codex, CSS, Python, T_eX; backlinks)