reproduce Oxford 2023 "Rings & Modules" notes
Mainly use Gnu TeXmacs (for efficiency and similar to LaTeX layout)
Others:
- Google doc (for text OCR)
- Mathpix (for math OCR)
- VScode editor regex replace tool (to add environment
Theorem,Lemma,Proposition,Observation,Proof,Remark,Example,Definitionin.tmsource code)