foreign notation: make \foreign into a set

[topbloke-formulae.git] / article.tex

diff --git a/article.tex b/article.tex
index 67f78900141398a04b4c7aca9dddec33c53190c7..6e3d5156600c4be6dbe41cd6de0a272aee783f54 100644 (file)
--- a/article.tex
+++ b/article.tex
@@ -96,8 +96,8 @@
 \newcommand{\baseof}[1]{\base ( #1 ) }
 \newcommand{\depsreqof}[1]{\depsreq ( #1 ) }
 
-\newcommand{\foreign}{\bot}
-\newcommand{\isforeign}[1]{\patchof{#1} = \foreign}
+\newcommand{\foreign}{\pa F}
+\newcommand{\isforeign}[1]{#1 \in \foreign}
 
 \newcommand{\allpatches}{\Upsilon}
 \newcommand{\assign}{\leftarrow}