chiark / gitweb /
define \merge and add it to notation section
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 5 Mar 2012 19:02:45 +0000 (19:02 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 5 Mar 2012 19:02:45 +0000 (19:02 +0000)
commit7bcd460d5b2d6b000aa3a612c48881b5bf29674d
tree15191c9135888c8bc2dcf19c6ee07c24fb5c15ec
parent139e1dd4dce6fcbc306dc4798f4cac017a0a4897
define \merge and add it to notation section
article.tex