chiark / gitweb /
notation: change >_1 to >_1: so we can define \succ_1 slightly differently
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 27 Apr 2012 11:22:01 +0000 (12:22 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 27 Apr 2012 11:22:01 +0000 (12:22 +0100)
commit501e8f577ffa9fac675f65a15673914c10fe3aba
treed751f48a220a078d424fc4be587306d4085a2d7e
parent23129e4ede4f93a172b3eab8e51144f2488af972
notation: change >_1 to >_1: so we can define \succ_1 slightly differently
article.tex