X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?p=topbloke-formulae.git;a=blobdiff_plain;f=notation.tex;h=6eb2e80d947a8bd1cb7d960bd43738ebbd352d8c;hp=0db33f686daa2b29a0e186d1e12b67717cd875d8;hb=16c8cf55a226dcb5cd8ee0e7ba2b0f3d16ab39d0;hpb=93847d78953ec63725065981dd9f2d439627990e

diff --git a/notation.tex b/notation.tex
index 0db33f6..6eb2e80 100644
--- a/notation.tex
+++ b/notation.tex
@@ -1,5 +1,8 @@
 \section{Notation}
 
+Throughout, any free variables are implicitly universally quantified
+at the outermost level.
+
 \begin{basedescript}{
 \desclabelwidth{5em}
 \desclabelstyle{\nextlinelabel}