chiark / gitweb /
nice formatting for notation
-rw-r--r-- 2279 article.tex