chiark / gitweb /
nice formatting for notation
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 1 Mar 2012 00:04:45 +0000 (00:04 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 1 Mar 2012 00:04:45 +0000 (00:04 +0000)
commit93658ccf74d659dfcc2f00c6c29928804aa68600
tree6894cae354af23afdf49e1121f46bcb8cbd9d72e
parenta2d8c7bf9f1582d62c7a26ab2d953675606e8299
nice formatting for notation
article.tex