merge: fix dependency reinsertion blurb to mention the need for the base to be merged...

[topbloke-formulae.git] / notation.tex

diff --git a/notation.tex b/notation.tex
index 0db33f686daa2b29a0e186d1e12b67717cd875d8..6eb2e80d947a8bd1cb7d960bd43738ebbd352d8c 100644 (file)
--- 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}