X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?a=blobdiff_plain;f=notation.tex;h=bee8eff2615d1937d73e44f305921410f392306b;hb=7e6fe6ed683ada1dd7c118556e22abc900801df5;hp=6eb2e80d947a8bd1cb7d960bd43738ebbd352d8c;hpb=8382189875aa969a251efc900a568a09e7b64c02;p=topbloke-formulae.git

diff --git a/notation.tex b/notation.tex
index 6eb2e80..bee8eff 100644
--- a/notation.tex
+++ b/notation.tex
@@ -1,4 +1,4 @@
-\section{Notation}
+\stdsection{Notation}
 
 Throughout, any free variables are implicitly universally quantified
 at the outermost level.