chiark / gitweb /
foreign notation: make \foreign into a set
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 27 May 2012 23:08:18 +0000 (00:08 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 27 May 2012 23:08:18 +0000 (00:08 +0100)
commitc1a7842aff8780cc79535f08287aa95bdeba20a7
tree9ceb8b7ab5826cc1620186fb42d2e865fe2eca0e
parent28bb86cd8218c491ad4fe845c4547af57b1aecb4
foreign notation: make \foreign into a set
article.tex
notation.tex