From 8382189875aa969a251efc900a568a09e7b64c02 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Tue, 27 Mar 2012 19:17:34 +0100
Subject: [PATCH] comments from mdw - add note re universal quantification

---
 notation.tex | 3 +++
 1 file changed, 3 insertions(+)

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}
-- 
2.30.2