chiark / gitweb /
nice formatting for notation