strategy notation: introduce \allsrcs

[topbloke-formulae.git] / article.tex

diff --git a/article.tex b/article.tex
index 96857aa65b59798b100d7f68bbfe9faedaec7739..475477f1ac8fedadeb1b0ccde61eb77aaeb12bdd 100644 (file)
--- a/article.tex
+++ b/article.tex
@@ -92,6 +92,8 @@
 \newcommand{\base}{{\mathcal B}}
 \newcommand{\depsreq}{{\mathcal G}}
 
+\newcommand{\allsrcs}{\set U}
+
 \newcommand{\patchof}[1]{\patch ( #1 ) }
 \newcommand{\baseof}[1]{\base ( #1 ) }
 \newcommand{\depsreqof}[1]{\depsreq ( #1 ) }