This is pdfTeX, Version 3.1415926-2.5-1.40.14 (TeX Live 2013) (format=pdflatex 2013.12.9) 2 JUL 2014 13:00 entering extended mode restricted \write18 enabled. %&-line parsing enabled. **maninCover.tex (./maninCover.tex LaTeX2e <2009/09/24> Babel and hyphenation patterns for english, dumylang, nohyphenation, lo aded. (/usr/share/texmf-dist/tex/latex/base/article.cls Document Class: article 2007/10/19 v1.4h Standard LaTeX document class (/usr/share/texmf-dist/tex/latex/base/size10.clo File: size10.clo 2007/10/19 v1.4h Standard LaTeX file (size option) ) \c@part=\count79 \c@section=\count80 \c@subsection=\count81 \c@subsubsection=\count82 \c@paragraph=\count83 \c@subparagraph=\count84 \c@figure=\count85 \c@table=\count86 \abovecaptionskip=\skip41 \belowcaptionskip=\skip42 \bibindent=\dimen102 ) (/usr/share/texmf-dist/tex/latex/tools/verbatim.sty Package: verbatim 2003/08/22 v1.5q LaTeX2e package for verbatim enhancements \every@verbatim=\toks14 \verbatim@line=\toks15 \verbatim@in@stream=\read1 ) (/usr/share/texmf-dist/tex/latex/amsfonts/amssymb.sty Package: amssymb 2013/01/14 v3.01 AMS font symbols (/usr/share/texmf-dist/tex/latex/amsfonts/amsfonts.sty Package: amsfonts 2013/01/14 v3.01 Basic AMSFonts support \@emptytoks=\toks16 \symAMSa=\mathgroup4 \symAMSb=\mathgroup5 LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold' (Font) U/euf/m/n --> U/euf/b/n on input line 106. )) (/usr/share/texmf-dist/tex/latex/amsmath/amsmath.sty Package: amsmath 2000/07/18 v2.13 AMS math features \@mathmargin=\skip43 For additional information on amsmath, use the `?' option. (/usr/share/texmf-dist/tex/latex/amsmath/amstext.sty Package: amstext 2000/06/29 v2.01 (/usr/share/texmf-dist/tex/latex/amsmath/amsgen.sty File: amsgen.sty 1999/11/30 v2.0 \@emptytoks=\toks17 \ex@=\dimen103 )) (/usr/share/texmf-dist/tex/latex/amsmath/amsbsy.sty Package: amsbsy 1999/11/29 v1.2d \pmbraise@=\dimen104 ) (/usr/share/texmf-dist/tex/latex/amsmath/amsopn.sty Package: amsopn 1999/12/14 v2.01 operator names ) \inf@bad=\count87 LaTeX Info: Redefining \frac on input line 211. \uproot@=\count88 \leftroot@=\count89 LaTeX Info: Redefining \overline on input line 307. \classnum@=\count90 \DOTSCASE@=\count91 LaTeX Info: Redefining \ldots on input line 379. LaTeX Info: Redefining \dots on input line 382. LaTeX Info: Redefining \cdots on input line 467. \Mathstrutbox@=\box26 \strutbox@=\box27 \big@size=\dimen105 LaTeX Font Info: Redeclaring font encoding OML on input line 567. LaTeX Font Info: Redeclaring font encoding OMS on input line 568. \macc@depth=\count92 \c@MaxMatrixCols=\count93 \dotsspace@=\muskip10 \c@parentequation=\count94 \dspbrk@lvl=\count95 \tag@help=\toks18 \row@=\count96 \column@=\count97 \maxfields@=\count98 \andhelp@=\toks19 \eqnshift@=\dimen106 \alignsep@=\dimen107 \tagshift@=\dimen108 \tagwidth@=\dimen109 \totwidth@=\dimen110 \lineht@=\dimen111 \@envbody=\toks20 \multlinegap=\skip44 \multlinetaggap=\skip45 \mathdisplay@stack=\toks21 LaTeX Info: Redefining \[ on input line 2666. LaTeX Info: Redefining \] on input line 2667. ) (/usr/share/texmf-dist/tex/latex/amscls/amsthm.sty Package: amsthm 2009/07/02 v2.20.1 \thm@style=\toks22 \thm@bodyfont=\toks23 \thm@headfont=\toks24 \thm@notefont=\toks25 \thm@headpunct=\toks26 \thm@preskip=\skip46 \thm@postskip=\skip47 \thm@headsep=\skip48 \dth@everypar=\toks27 ) (/usr/share/texmf-dist/tex/latex/url/url.sty \Urlmuskip=\muskip11 Package: url 2006/04/12 ver 3.3 Verb mode for urls, etc. ) (/usr/share/texmf-dist/tex/latex/tools/enumerate.sty Package: enumerate 1999/03/05 v3.00 enumerate extensions (DPC) \@enLab=\toks28 ) (/home/martin/maths/latex/include/mt.sty Package: mt (/home/martin/maths/latex/include/mdbmaths.sty Package: mdbmaths (/usr/share/texmf-dist/tex/latex/base/ifthen.sty Package: ifthen 2001/05/26 v1.1c Standard LaTeX ifthen package (DPC) )) (/home/martin/maths/latex/include/mdblogic.sty Package: mdblogic ) (/usr/share/texmf-dist/tex/latex/jknapltx/mathrsfs.sty Package: mathrsfs 1996/01/01 Math RSFS package v1.0 (jk) \symrsfs=\mathgroup6 ) \noforkbox=\box28 \forklinewidth=\dimen112 LaTeX Font Info: Try loading font information for U+msa on input line 73. (/usr/share/texmf-dist/tex/latex/amsfonts/umsa.fd File: umsa.fd 2013/01/14 v3.01 AMS symbols A ) LaTeX Font Info: Try loading font information for U+msb on input line 73. (/usr/share/texmf-dist/tex/latex/amsfonts/umsb.fd File: umsb.fd 2013/01/14 v3.01 AMS symbols B ) LaTeX Font Info: Try loading font information for U+rsfs on input line 73. (/usr/share/texmf-dist/tex/latex/jknapltx/ursfs.fd File: ursfs.fd 1998/03/24 rsfs font definition file (jk) ) \doesforkbox=\box29 ) (/usr/share/../local/share/texmf/tex/generic/xypic/xy.sty (/usr/share/../local/share/texmf/tex/generic/xypic/xy.tex Bootstrap'ing: catcodes, docmode, (/usr/share/../local/share/texmf/tex/generic/xypic/xyrecat.tex) (/usr/share/../local/share/texmf/tex/generic/xypic/xyidioms.tex) Xy-pic version 3.7 <1999/02/16> Copyright (c) 1991-1998 by Kristoffer H. Rose Xy-pic is free software: see the User's Guide for details. Loading kernel: messages; fonts; allocations: state, \X@c=\dimen113 \Y@c=\dimen114 \U@c=\dimen115 \D@c=\dimen116 \L@c=\dimen117 \R@c=\dimen118 \Edge@c=\toks29 \X@p=\dimen119 \Y@p=\dimen120 \U@p=\dimen121 \D@p=\dimen122 \L@p=\dimen123 \R@p=\dimen124 \Edge@p=\toks30 \X@origin=\dimen125 \Y@origin=\dimen126 \X@xbase=\dimen127 \Y@xbase=\dimen128 \X@ybase=\dimen129 \Y@ybase=\dimen130 \X@min=\dimen131 \Y@min=\dimen132 \X@max=\dimen133 \Y@max=\dimen134 \lastobjectbox@=\box30 \zerodotbox@=\box31 \almostz@=\dimen135 direction, \d@X=\dimen136 \d@Y=\dimen137 \K@=\count99 \KK@=\count100 \Direction=\count101 \K@dXdY=\dimen138 \K@dYdX=\dimen139 \xyread@=\read2 \xywrite@=\write3 \csp@=\count102 \quotPTK@=\dimen140 utility macros; pictures: \xy, positions, \swaptoks@@=\toks31 \connectobjectbox@@=\box32 objects, \styletoks@=\toks32 decorations; kernel objects: directionals, circles, text; options; algorithms: directions, edges, connections; Xy-pic loaded) Package: xy 1999/02/16 Xy-pic version 3.7 (/usr/share/../local/share/texmf/tex/generic/xypic/xycmtip.tex Xy-pic option: Computer Modern tip extension v.3.3 (/usr/share/../local/share/texmf/tex/generic/xypic/xytips.tex Xy-pic option: More Tips extension v.3.3 loaded) loaded) (/usr/share/../local/share/texmf/tex/generic/xypic/xyall.tex Xy-pic option: All features v.3.3 (/usr/share/../local/share/texmf/tex/generic/xypic/xycurve.tex Xy-pic option: Curve and Spline extension v.3.7 curve, \crv@cnt@=\count103 \crvpts@=\toks33 \splinebox@=\box33 \splineval@=\dimen141 \splinedepth@=\dimen142 \splinetol@=\dimen143 \splinelength@=\dimen144 circles, \L@=\dimen145 loaded) (/usr/share/../local/share/texmf/tex/generic/xypic/xyframe.tex Xy-pic option: Frame and Bracket extension v.3.7 loaded) (/usr/share/../local/share/texmf/tex/generic/xypic/xyline.tex Xy-pic option: Line styles extension v.3.6 \xylinethick@=\dimen146 loaded) (/usr/share/../local/share/texmf/tex/generic/xypic/xyrotate.tex Xy-pic option: Rotate and Scale extension v.3.3 loaded) (/usr/share/../local/share/texmf/tex/generic/xypic/xycolor.tex Xy-pic option: Colour extension v.3.3 loaded) (/usr/share/../local/share/texmf/tex/generic/xypic/xymatrix.tex Xy-pic option: Matrix feature v.3.4 \Row=\count104 \Col=\count105 \queue@=\toks34 \queue@@=\toks35 \qcount@=\count106 \qcount@@=\count107 \matrixsize@=\count108 loaded) (/usr/share/../local/share/texmf/tex/generic/xypic/xyarrow.tex Xy-pic option: Arrow and Path feature v.3.5 path, \ar, loaded) (/usr/share/../local/share/texmf/tex/generic/xypic/xygraph.tex Xy-pic option: Graph feature v.3.7 loaded) loaded)) \c@theorem=\count109 \c@corollary=\count110 \c@claim=\count111 \c@definition=\count112 \c@remark=\count113 \c@question=\count114 (./maninCover.aux) \openout1 = `maninCover.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 80. LaTeX Font Info: ... okay on input line 80. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 80. LaTeX Font Info: ... okay on input line 80. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 80. LaTeX Font Info: ... okay on input line 80. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 80. LaTeX Font Info: ... okay on input line 80. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 80. LaTeX Font Info: ... okay on input line 80. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 80. LaTeX Font Info: ... okay on input line 80. (./version.tex) (./build-date.tex) [1 {/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}] [2] Overfull \hbox (4.24956pt too wide) in paragraph at lines 213--216 []\OT1/cmr/m/n/10 So by the (proof of) the Sei-den-berg Em-bed-ding The-o-rem [ Mark-erDCF Lemma [] [3] (./maninCover.bbl LaTeX Warning: Empty `thebibliography' environment on input line 3. ) [4] (./maninCover.aux) ) (\end occurred inside a group at level 1) ### simple group (level 1) entered at line 137 ({) ### bottom level Here is how much of TeX's memory you used: 3890 strings out of 495067 44749 string characters out of 6182677 133035 words of memory out of 5000000 7008 multiletter control sequences out of 15000+600000 14027 words of font info for 59 fonts, out of 8000000 for 9000 14 hyphenation exceptions out of 8191 27i,12n,27p,225b,382s stack positions out of 5000i,500n,10000p,200000b,80000s Output written on maninCover.pdf (4 pages, 177187 bytes). PDF statistics: 93 PDF objects out of 1000 (max. 8388607) 67 compressed objects within 1 object stream 0 named destinations out of 1000 (max. 500000) 1 words of extra memory for PDF output out of 10000 (max. 10000000)