foreign notation: introduce \isforeign

[topbloke-formulae.git] / article.tex

diff --git a/article.tex b/article.tex
index 0c10bcf095b02696681a91a33539695b10371f9a..67f78900141398a04b4c7aca9dddec33c53190c7 100644 (file)
--- a/article.tex
+++ b/article.tex
@@ -90,12 +90,15 @@
 
 \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{\depsreqof}[1]{\depsreq ( #1 ) }
 
+\newcommand{\foreign}{\bot}
+\newcommand{\isforeign}[1]{\patchof{#1} = \foreign}
+
 \newcommand{\allpatches}{\Upsilon}
 \newcommand{\assign}{\leftarrow}
 \newcommand{\iassign}{\leftarrow}
@@ -166,6 +169,7 @@
 \input{create-tip.tex}
 \input{anticommit.tex}
 \input{merge.tex}
+\input{pseudomerge.tex}
 
 \chapter{Update strategy}