chiark / gitweb /
strategy: notation: change D(K) to G(K)
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 27 May 2012 22:10:46 +0000 (23:10 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 27 May 2012 22:10:46 +0000 (23:10 +0100)
article.tex

index 0c10bcf..1e7adc2 100644 (file)
@@ -90,7 +90,7 @@
 
 \newcommand{\patch}{{\mathcal P}}
 \newcommand{\base}{{\mathcal B}}
-\newcommand{\depsreq}{{\mathcal D}}
+\newcommand{\depsreq}{{\mathcal G}}
 
 \newcommand{\patchof}[1]{\patch ( #1 ) }
 \newcommand{\baseof}[1]{\base ( #1 ) }