chiark / gitweb /
mdwmath.dtx: Introduce machinery for defining bracketty notation.
authorMark Wooding <mdw@distorted.org.uk>
Tue, 9 Aug 2022 17:18:02 +0000 (18:18 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Tue, 9 Aug 2022 17:22:13 +0000 (18:22 +0100)
commit3d97452392722da57141f6f00729f9461e887cb0
tree4e5953ccc927fa129e52b9ec642b3ecfcca9ea56
parenta1af3c0e18276732ee242cdcedf66c320befdb8c
mdwmath.dtx: Introduce machinery for defining bracketty notation.
mdwmath.dtx