This is TeX, Version 3.14159 (Web2C 7.3.1) (format=latex 2001.5.15) 10 AUG 2001 13:53 **aleph (aleph.tex LaTeX2e <2000/06/01> Babel and hyphenation patterns for american, french, german, ngerman, n ohyphenation, loaded. (/home/cp/Library/TeX/texmf/tex/latex/latexlib/article.cls Document Class: article 1999/01/07 v1.4a Standard LaTeX document class (/usr/share/texmf/tex/latex/base/size12.clo File: size12.clo 2000/05/19 v1.4b 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 ) (body.tex (/usr/share/texmf/tex/latex/base/latexsym.sty Package: latexsym 1998/08/17 v2.2e Standard LaTeX package (lasy symbols) \symlasy=\mathgroup4 LaTeX Font Info: Overwriting symbol font `lasy' in version `bold' (Font) U/lasy/m/n --> U/lasy/b/n on input line 42. ) (/usr/share/texmf/tex/latex/amsfonts/amssymb.sty Package: amssymb 1996/11/03 v2.2b (/usr/share/texmf/tex/latex/amsfonts/amsfonts.sty Package: amsfonts 1997/09/17 v2.2e \@emptytoks=\toks14 \symAMSa=\mathgroup5 \symAMSb=\mathgroup6 LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold' (Font) U/euf/m/n --> U/euf/b/n on input line 133. )) (/home/cp/Library/TeX/texmf/tex/latex/latexlib/dina4.sty) (/home/cp/Library/TeX/texmf/tex/latex/latexlib/ENDNOTES.sty \c@endnote=\count87 \endnotesep=\dimen103 \@enotes=\write3 ) (/usr/share/texmf/tex/generic/xypic/xy.tex Bootstrap'ing: catcodes, docmode, (/usr/share/texmf/tex/generic/xypic/xyrecat.tex) (/usr/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=\dimen104 \Y@c=\dimen105 \U@c=\dimen106 \D@c=\dimen107 \L@c=\dimen108 \R@c=\dimen109 \Edge@c=\toks15 \X@p=\dimen110 \Y@p=\dimen111 \U@p=\dimen112 \D@p=\dimen113 \L@p=\dimen114 \R@p=\dimen115 \Edge@p=\toks16 \X@origin=\dimen116 \Y@origin=\dimen117 \X@xbase=\dimen118 \Y@xbase=\dimen119 \X@ybase=\dimen120 \Y@ybase=\dimen121 \X@min=\dimen122 \Y@min=\dimen123 \X@max=\dimen124 \Y@max=\dimen125 \lastobjectbox@=\box26 \zerodotbox@=\box27 \almostz@=\dimen126 direction, \d@X=\dimen127 \d@Y=\dimen128 \K@=\count88 \KK@=\count89 \Direction=\count90 \K@dXdY=\dimen129 \K@dYdX=\dimen130 \xyread@=\read1 \xywrite@=\write4 \csp@=\count91 \quotPTK@=\dimen131 utility macros; pictures: \xy, positions, \swaptoks@@=\toks17 \connectobjectbox@@=\box28 objects, \styletoks@=\toks18 decorations; kernel objects: directionals, circles, text; options; algorithms: directions, edges, connections; Xy-pic loaded) (/usr/share/texmf/tex/generic/xypic/xyall.tex Xy-pic option: All features v.3.3 (/usr/share/texmf/tex/generic/xypic/xycurve.tex Xy-pic option: Curve and Spline extension v.3.7 curve, \crv@cnt@=\count92 \crvpts@=\toks19 \splinebox@=\box29 \splineval@=\dimen132 \splinedepth@=\dimen133 \splinetol@=\dimen134 \splinelength@=\dimen135 circles, \L@=\dimen136 loaded) (/usr/share/texmf/tex/generic/xypic/xyframe.tex Xy-pic option: Frame and Bracket extension v.3.7 loaded) (/usr/share/texmf/tex/generic/xypic/xycmtip.tex Xy-pic option: Computer Modern tip extension v.3.3 (/usr/share/texmf/tex/generic/xypic/xytips.tex Xy-pic option: More Tips extension v.3.3 loaded) loaded) (/usr/share/texmf/tex/generic/xypic/xyline.tex Xy-pic option: Line styles extension v.3.6 \xylinethick@=\dimen137 loaded) (/usr/share/texmf/tex/generic/xypic/xyrotate.tex Xy-pic option: Rotate and Scale extension v.3.3 loaded) (/usr/share/texmf/tex/generic/xypic/xycolor.tex Xy-pic option: Colour extension v.3.3 loaded) (/usr/share/texmf/tex/generic/xypic/xymatrix.tex Xy-pic option: Matrix feature v.3.4 \Row=\count93 \Col=\count94 \queue@=\toks20 \queue@@=\toks21 \qcount@=\count95 \qcount@@=\count96 \matrixsize@=\count97 loaded) (/usr/share/texmf/tex/generic/xypic/xyarrow.tex Xy-pic option: Arrow and Path feature v.3.5 path, \ar, loaded) (/usr/share/texmf/tex/generic/xypic/xygraph.tex Xy-pic option: Graph feature v.3.7 loaded) loaded) (/usr/share/texmf/tex/generic/xypic/xydvips.tex Xy-pic option: DVIPS driver v.3.3 loaded) (/home/cp/Library/TeX/texmf/tex/latex/latexlib/headerbiblio.tex Doc. St. `headerbiblio', , copyright CP Wirth \mybibitemsep=\skip43 (/home/cp/Library/TeX/texmf/tex/latex/latexlib/headernames.tex) LaTeX Info: Redefining \cite on input line 337. ) (/home/cp/Library/TeX/texmf/tex/latex/latexlib/header.tex (/home/cp/Library/TeX/texmf/tex/latex/latexlib/headerhot.tex \disp=\skip44 \textwidthminustwomm=\skip45 \textwidthminushalfcm=\skip46 \textwidthminusonecm=\skip47 \textwidthminustwocm=\skip48 \textwidthminusfourcm=\skip49 \textwidthminussixcm=\skip50 )) (specialheader.tex) (/home/cp/Library/TeX/texmf/tex/latex/latexlib/headerarticle.tex \sectionintocsep=\skip51 \contentsandreferencesheadroom=\skip52 \contentsandreferencesfootroom=\skip53 ) (/home/cp/Library/TeX/texmf/tex/latex/latexlib/headergerman.tex (/home/cp/Library/TeX/texmf/tex/latex/latexlib/oldgerman.tex)) (/home/cp/Library/TeX/texmf/tex/latex/latexlib/headertheorem.tex \c@theorem=\count98 ) (/home/cp/Library/TeX/texmf/tex/latex/latexlib/header12pt.tex) (/home/cp/Library/TeX/texmf/tex/latex/latexlib/headerforformulas.tex) (/home/cp/Library/TeX/texmf/tex/latex/latexlib/headersugarterms.tex) (aleph.aux (titlepage.aux) (tableofcontents.aux) (unique.aux) (partialfunctions.aux) (datauniverses.aux) (fulfilled.aux) (notes.aux) (references.aux)) \openout1 = `aleph.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 32. LaTeX Font Info: ... okay on input line 32. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 32. LaTeX Font Info: ... okay on input line 32. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 32. LaTeX Font Info: ... okay on input line 32. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 32. LaTeX Font Info: ... okay on input line 32. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 32. LaTeX Font Info: ... okay on input line 32. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 32. LaTeX Font Info: ... okay on input line 32. (/usr/share/texmf/tex/generic/xypic/xyps-ps.tex) Xy-pic Warning: The produced DVI file is NOT PORTABLE [aleph:32]: It contains `dvips' \specials for the `PostScript' extension. (/usr/share/texmf/tex/generic/xypic/xyps-pro.tex) (/usr/share/texmf/tex/generic/xypic/xypspatt.tex) (/usr/share/texmf/tex/generic/xypic/xypsdict.tex) (/usr/share/texmf/tex/generic/xypic/xyps-c.tex (/usr/share/texmf/tex/generic/xypic/xyps-s.tex)) (/usr/share/texmf/tex/generic/xypic/xyps-r.tex) (/usr/share/texmf/tex/generic/xypic/xyps-l.tex) (/usr/share/texmf/tex/generic/xypic/xyps-f.tex) (/home/cp/Library/TeX/texmf/tex/latex/latexlib/headerdate.tex) \openout2 = `fulfilled.aux'. (fulfilled.tex LaTeX Font Info: Try loading font information for U+lasy on input line 3. (/usr/share/texmf/tex/latex/base/ulasy.fd File: ulasy.fd 1998/08/17 v2.2eLaTeX symbol font definitions ) LaTeX Font Info: Try loading font information for U+msa on input line 3. (/usr/share/texmf/tex/latex/amsfonts/umsa.fd File: umsa.fd 1995/01/05 v2.2e AMS font definitions ) LaTeX Font Info: Try loading font information for U+msb on input line 3. (/usr/share/texmf/tex/latex/amsfonts/umsb.fd File: umsb.fd 1995/01/05 v2.2e AMS font definitions ) Overfull \hbox (7.56572pt too wide) in paragraph at lines 83--123 \OT1/cmr/m/n/12 are ful-filled w.r.t. $[]\OML/cmm/m/it/12 ; H$ \OT1/cmr/m/n/12 and, in case of $\OML/cmm/m/it/12 v[][];$ $e^^[[]e^^[[]$ \OT1/cmr/m/n/12 is ful-filled w.r.t. $[]\OML/cmm/m/it/12 ; H$\OT1/cmr/m/n/12 , [] [23 ]) [24] (aleph.aux (titlepage.aux) (tableofcontents.aux) (unique.aux) (partialfunctions.aux) (datauniverses.aux) (fulfilled.aux) (notes.aux) (references.aux)) ) ) Here is how much of TeX's memory you used: 4896 strings out of 25890 54765 string characters out of 197430 163154 words of memory out of 384000 7711 multiletter control sequences out of 10000+15000 20978 words of font info for 81 fonts, out of 400000 for 1000 69 hyphenation exceptions out of 1000 26i,15n,25p,240b,474s stack positions out of 300i,100n,500p,50000b,4000s Output written on aleph.dvi (2 pages, 27112 bytes).