strategy: new, wip

[topbloke-formulae.git] / article.tex

diff --git a/article.tex b/article.tex
index 052ed360f1fa9459a4234466ac2e550829c18085..18c75dfb1514c6ca0748097dde557140d89658aa 100644 (file)
--- a/article.tex
+++ b/article.tex
@@ -93,6 +93,8 @@
 \newcommand{\depsreqof}[1]{\depsreq ( #1 ) }
 
 \newcommand{\allpatches}{\Upsilon}
+\newcommand{\assign}{\leftarrow}
+%\newcommand{\assign}{' =}
 
 \newcommand{\eqntag}[2]{ #2 \tag*{\mbox{#1}} }
 \newcommand{\eqn}[2]{ #2 \tag*{\mbox{\bf #1}} }