strategy: notation: change D(K) to G(K)

diff --git a/article.tex b/article.tex
index 0c10bcf095b02696681a91a33539695b10371f9a..1e7adc26461f2083df2e4199726814428a396255 100644 (file)
--- a/article.tex
+++ b/article.tex
@@ -90,7 +90,7 @@
 
 \newcommand{\patch}{{\mathcal P}}
 \newcommand{\base}{{\mathcal B}}
 
 \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 ) }
 
 \newcommand{\patchof}[1]{\patch ( #1 ) }
 \newcommand{\baseof}[1]{\base ( #1 ) }