strategy: wip reachable etc.

[topbloke-formulae.git] / article.tex

diff --git a/article.tex b/article.tex
index 5df0d91f722c49c48cd097c47bb1a7f650ab52bd..2b54eecf517c70c0cd08522e2c7dad1c9334815f 100644 (file)
--- a/article.tex
+++ b/article.tex
@@ -94,6 +94,8 @@
 \newcommand{\depsreq}{{\mathcal G}}
 
 \newcommand{\allsrcs}{\set U}
+\newcommand{\allreach}{\set O}
+\newcommand{\allreachof}[1]{\set O^{#1}}
 
 \newcommand{\patchof}[1]{\patch ( #1 ) }
 \newcommand{\baseof}[1]{\base ( #1 ) }
@@ -133,6 +135,8 @@
 \newcommand{\tipdn}{ \tipa \pdn }
 \newcommand{\tipdy}{ \tipa \pdy }
 
+\newcommand{\tippy}{ \tipa \py }
+
 %\newcommand{\bigforall}{\mathop{\hbox{\huge$\forall$}}}
 \newcommand{\bigforall}{%
   \mathop{\mathchoice%