../ README.md 12-May-2024 17:16 1846 rigidnotation.dtx 12-May-2024 17:27 20K rigidnotation.ins 12-May-2024 17:16 1434 rigidnotation.pdf 12-May-2024 17:28 267K