chiark / gitweb /
provide \bigexists
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 18 Apr 2012 20:33:53 +0000 (21:33 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 18 Apr 2012 20:33:53 +0000 (21:33 +0100)
commit03a40d446bbe0d0a7f8d7c2e4628b7eea9be3eec
treee9ccc4bf294bb7869362def9c3e0a0ff428ac8c4
parent8d37b843888b4da3d31f1a038fbc15729037e858
provide \bigexists
article.tex