From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Wed, 29 Feb 2012 21:29:07 +0000 (+0000)
Subject: weird chars before begin document
X-Git-Tag: f0.2~212
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?a=commitdiff_plain;h=c59464ccce07e5bdfe4e6b32762a011ac51d1535;p=topbloke-formulae.git

weird chars before begin document
---

diff --git a/article.tex b/article.tex
index b152332..beb4706 100644
--- a/article.tex
+++ b/article.tex
@@ -4,7 +4,6 @@
 \usepackage{slashed}
 \usepackage{txfonts}
 \usepackage{accents}
-\begin{document}
 
 \renewcommand{\ge}{\geqslant}
 \renewcommand{\le}{\leqslant}
@@ -33,6 +32,8 @@
 \newcommand{\hasparents}{>_{\mkern-7.0mu _1}}
 \newcommand{\areparents}{<_{\mkern-14.0mu _1\mkern+5.0mu}}
 
+\begin{document}
+
 sponge
 $ C \hasparents X $
 $ C > X $