chiark / gitweb /
strategy: notation: add \alg
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 27 May 2012 18:04:19 +0000 (19:04 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 27 May 2012 18:04:19 +0000 (19:04 +0100)
commit519fc3cd6423a7972327911a61fc060ab2aa1fc1
treea4b9955cbe7b00441fddd188083898f526640f0c
parent5dcbf70314a603f304c34e5cdebfc7e6914eb676
strategy: notation: add \alg
article.tex
strategy.tex