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