chiark / gitweb /
notation: clarify >=
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 10 Aug 2013 19:25:44 +0000 (20:25 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 10 Aug 2013 19:25:44 +0000 (20:25 +0100)
commit2d2f22e12e02ae46d7e1b961aaf3d43b77b943b4
tree45e0875a276d1e725e80a4647fd107edcb8b79e1
parent81f741ff661fc6cd6954085fb2489ad9dc5cf257
notation: clarify >=
notation.tex