chiark / gitweb /
comments from mdw - add section on \set to notation
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 27 Mar 2012 18:14:20 +0000 (19:14 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 27 Mar 2012 18:14:20 +0000 (19:14 +0100)
commit93847d78953ec63725065981dd9f2d439627990e
tree63920481f40f100d0a552ba68164b4d95e02c971
parent891ae7626916bde1eb7dfa38762bbb4d94b85211
comments from mdw - add section on \set to notation
notation.tex