../ README.md 13-May-2024 01:16 1846 rigidnotation.dtx 13-May-2024 01:27 20446 rigidnotation.ins 13-May-2024 01:16 1434 rigidnotation.pdf 13-May-2024 01:28 273004