/ Hobbes OS/2 1994 August / HOBBES_ARCH.ISO / all / unix / tex / zemtex / oz.tex

< prev

next >

MacOS 8.1

Win98

DOS

browse contents

view JSON data

view as text

+--------+-------------------------+-------------------------+--------+--------+
|00000000| 25 5c 64 6f 63 75 6d 65 | 6e 74 73 74 79 6c 65 5b |%\docume|ntstyle[|
|00000010| 31 31 70 74 2c 6f 7a 2c | 74 68 72 65 65 63 6f 6c |11pt,oz,|threecol|
|00000020| 75 6d 6e 5d 7b 61 72 74 | 69 63 6c 65 7d 20 43 68 |umn]{art|icle} Ch|
|00000030| 61 6e 67 65 64 20 66 6f | 72 20 50 43 20 66 69 6c |anged fo|r PC fil|
|00000040| 65 20 6e 61 6d 65 73 2e | 28 53 52 2d 51 55 54 20 |e names.|(SR-QUT |
|00000050| 49 53 52 43 29 0a 5c 64 | 6f 63 75 6d 65 6e 74 73 |ISRC).\d|ocuments|
|00000060| 74 79 6c 65 5b 31 31 70 | 74 2c 6f 7a 2c 33 63 6f |tyle[11p|t,oz,3co|
|00000070| 6c 75 6d 6e 5d 7b 61 72 | 74 69 63 6c 65 7d 0a 25 |lumn]{ar|ticle}.%|
|00000080| 20 79 6f 75 20 6d 61 79 | 20 6e 65 65 64 20 74 6f | you may| need to|
|00000090| 20 63 68 61 6e 67 65 20 | 73 6f 6d 65 20 6f 66 20 | change |some of |
|000000a0| 74 68 65 20 64 69 6d 65 | 6e 73 69 6f 6e 73 20 62 |the dime|nsions b|
|000000b0| 65 6c 6f 77 20 74 6f 20 | 70 6f 73 69 74 69 6f 6e |elow to |position|
|000000c0| 0a 25 20 74 68 65 20 64 | 6f 63 75 6d 65 6e 74 20 |.% the d|ocument |
|000000d0| 63 6f 72 72 65 63 74 6c | 79 20 6f 6e 20 74 68 65 |correctl|y on the|
|000000e0| 20 70 61 67 65 20 28 64 | 65 70 65 6e 64 69 6e 67 | page (d|epending|
|000000f0| 20 6f 6e 20 79 6f 75 72 | 20 6c 6f 63 61 6c 20 70 | on your| local p|
|00000100| 72 69 6e 74 65 72 20 73 | 65 74 75 70 29 2e 0a 25 |rinter s|etup)..%|
|00000110| 20 61 6c 77 20 2d 20 64 | 6f 63 75 6d 65 6e 74 20 | alw - d|ocument |
|00000120| 44 4f 45 53 4e 27 54 20 | 50 52 49 4e 54 20 69 6e |DOESN'T |PRINT in|
|00000130| 20 6f 6e 65 20 67 6f 20 | 6f 6e 20 74 68 65 20 61 | one go |on the a|
|00000140| 6c 77 2c 20 70 72 69 6e | 74 20 61 20 66 65 77 20 |lw, prin|t a few |
|00000150| 70 61 67 65 73 20 61 74 | 20 61 20 74 69 6d 65 0a |pages at| a time.|
|00000160| 5c 6f 64 64 73 69 64 65 | 6d 61 72 67 69 6e 20 2d |\oddside|margin -|
|00000170| 32 6d 6d 0a 5c 65 76 65 | 6e 73 69 64 65 6d 61 72 |2mm.\eve|nsidemar|
|00000180| 67 69 6e 20 2d 32 6d 6d | 0a 5c 74 6f 70 6d 61 72 |gin -2mm|.\topmar|
|00000190| 67 69 6e 20 30 6d 6d 0a | 5c 74 65 78 74 77 69 64 |gin 0mm.|\textwid|
|000001a0| 74 68 20 31 38 38 6d 6d | 0a 5c 74 65 78 74 68 65 |th 188mm|.\texthe|
|000001b0| 69 67 68 74 20 32 35 36 | 6d 6d 0a 5c 68 65 61 64 |ight 256|mm.\head|
|000001c0| 68 65 69 67 68 74 20 30 | 20 70 74 0a 5c 68 65 61 |height 0| pt.\hea|
|000001d0| 64 73 65 70 20 30 20 70 | 74 0a 5c 66 6f 6f 74 68 |dsep 0 p|t.\footh|
|000001e0| 65 69 67 68 74 20 31 36 | 20 70 74 0a 5c 66 6f 6f |eight 16| pt.\foo|
|000001f0| 74 73 6b 69 70 20 32 34 | 20 70 74 0a 5c 70 61 72 |tskip 24| pt.\par|
|00000200| 73 6b 69 70 20 34 20 70 | 74 0a 5c 70 61 72 69 6e |skip 4 p|t.\parin|
|00000210| 64 65 6e 74 20 30 20 70 | 74 0a 25 0a 25 20 6a 75 |dent 0 p|t.%.% ju|
|00000220| 73 74 20 69 67 6e 6f 72 | 65 20 61 6e 79 20 6f 76 |st ignor|e any ov|
|00000230| 65 72 2d 20 6f 72 20 75 | 6e 64 65 72 2d 66 75 6c |er- or u|nder-ful|
|00000240| 6c 20 68 62 6f 78 65 73 | 0a 25 20 74 68 69 73 20 |l hboxes|.% this |
|00000250| 64 6f 63 75 6d 65 6e 74 | 20 75 73 65 73 20 6d 6f |document| uses mo|
|00000260| 73 74 20 6f 66 20 74 68 | 65 20 28 70 68 79 73 69 |st of th|e (physi|
|00000270| 63 61 6c 29 20 70 61 67 | 65 20 61 6e 64 20 69 73 |cal) pag|e and is|
|00000280| 6e 27 74 20 73 70 72 65 | 61 64 0a 25 20 6f 75 74 |n't spre|ad.% out|
|00000290| 20 65 69 74 68 65 72 2e | 20 20 54 68 69 73 20 6d | either.|  This m|
|000002a0| 61 79 20 6d 61 6b 65 20 | 69 74 20 73 6c 69 67 68 |ay make |it sligh|
|000002b0| 74 6c 79 20 68 61 72 64 | 65 72 20 74 6f 20 72 65 |tly hard|er to re|
|000002c0| 61 64 20 66 69 72 73 74 | 20 74 69 6d 65 0a 25 20 |ad first| time.% |
|000002d0| 74 68 72 6f 75 67 68 2c | 20 62 75 74 20 6d 61 6b |through,| but mak|
|000002e0| 65 73 20 69 74 20 6d 6f | 72 65 20 73 75 69 74 61 |es it mo|re suita|
|000002f0| 62 6c 65 20 66 6f 72 20 | 6c 61 74 65 72 20 72 65 |ble for |later re|
|00000300| 66 65 72 65 6e 63 65 2e | 0a 25 0a 25 20 62 65 66 |ference.|.%.% bef|
|00000310| 6f 72 65 20 77 65 20 73 | 74 61 72 74 2c 20 6c 65 |ore we s|tart, le|
|00000320| 74 27 73 20 6d 61 6b 65 | 20 61 20 66 65 77 20 64 |t's make| a few d|
|00000330| 65 66 69 6e 69 74 69 6f | 6e 73 0a 25 0a 5c 6d 61 |efinitio|ns.%.\ma|
|00000340| 6b 65 61 74 6c 65 74 74 | 65 72 0a 5c 64 65 66 5c |keatlett|er.\def\|
|00000350| 65 78 61 6d 70 6c 65 7b | 5c 62 65 67 69 6e 7b 73 |example{|\begin{s|
|00000360| 69 64 65 62 79 73 69 64 | 65 7d 7d 0a 5c 64 65 66 |idebysid|e}}.\def|
|00000370| 5c 76 65 72 62 70 61 72 | 74 7b 5c 6e 65 78 74 73 |\verbpar|t{\nexts|
|00000380| 69 64 65 5c 73 6d 61 6c | 6c 5c 76 73 70 61 63 65 |ide\smal|l\vspace|
|00000390| 2a 7b 2d 31 65 78 7d 5c | 62 65 67 69 6e 7b 71 75 |*{-1ex}\|begin{qu|
|000003a0| 6f 74 65 7d 5c 62 65 67 | 69 6e 7b 76 65 72 62 61 |ote}\beg|in{verba|
|000003b0| 74 69 6d 7d 7d 0a 5c 64 | 65 66 5c 65 6e 64 65 78 |tim}}.\d|ef\endex|
|000003c0| 61 6d 70 6c 65 7b 5c 65 | 6e 64 7b 71 75 6f 74 65 |ample{\e|nd{quote|
|000003d0| 7d 5c 76 73 70 61 63 65 | 2a 7b 2d 32 65 78 7d 5c |}\vspace|*{-2ex}\|
|000003e0| 65 6e 64 7b 73 69 64 65 | 62 79 73 69 64 65 7d 5c |end{side|byside}\|
|000003f0| 76 73 70 61 63 65 2a 7b | 2d 33 65 78 7d 5c 69 67 |vspace*{|-3ex}\ig|
|00000400| 6e 6f 72 65 73 70 61 63 | 65 73 7d 0a 5c 64 65 66 |norespac|es}.\def|
|00000410| 5c 73 79 6d 62 6f 6c 23 | 31 7b 23 31 20 26 20 5c |\symbol#|1{#1 & \|
|00000420| 74 74 5c 73 74 72 69 6e | 67 23 31 7d 0a 5c 64 65 |tt\strin|g#1}.\de|
|00000430| 66 5c 73 79 6d 62 6f 6c | 73 7b 5c 40 69 66 6e 65 |f\symbol|s{\@ifne|
|00000440| 78 74 63 68 61 72 5b 7b | 5c 40 73 79 6d 62 6f 6c |xtchar[{|\@symbol|
|00000450| 73 7d 7b 5c 40 73 79 6d | 62 6f 6c 73 5b 30 5d 7d |s}{\@sym|bols[0]}|
|00000460| 7d 0a 5c 64 65 66 5c 40 | 73 79 6d 62 6f 6c 73 5b |}.\def\@|symbols[|
|00000470| 23 31 5d 7b 5c 69 6e 74 | 65 72 7a 65 64 6c 69 6e |#1]{\int|erzedlin|
|00000480| 65 70 65 6e 61 6c 74 79 | 3d 5c 69 6e 74 65 72 64 |epenalty|=\interd|
|00000490| 69 73 70 6c 61 79 6c 69 | 6e 65 70 65 6e 61 6c 74 |isplayli|nepenalt|
|000004a0| 79 5c 7a 40 65 6e 76 0a | 20 20 20 20 20 20 20 20 |y\z@env.|        |
|000004b0| 5c 6f 70 65 6e 75 70 20 | 23 31 5c 6a 6f 74 0a 09 |\openup |#1\jot..|
|000004c0| 5c 68 61 6c 69 67 6e 5c | 62 67 72 6f 75 70 5c 7a |\halign\|bgroup\z|
|000004d0| 73 74 72 75 74 5c 68 62 | 6f 78 20 74 6f 20 33 2e |strut\hb|ox to 3.|
|000004e0| 38 65 6d 7b 24 23 23 24 | 5c 68 73 73 7d 5c 74 61 |8em{$##$|\hss}\ta|
|000004f0| 62 73 6b 69 70 3d 30 70 | 74 26 23 23 5c 68 73 73 |bskip=0p|t&##\hss|
|00000500| 5c 63 72 0a 20 20 20 20 | 20 20 20 20 5c 6e 6f 61 |\cr.    |    \noa|
|00000510| 6c 69 67 6e 7b 5c 76 73 | 6b 69 70 2d 23 31 5c 6a |lign{\vs|kip-#1\j|
|00000520| 6f 74 7d 7d 25 20 65 71 | 75 61 6c 20 76 73 70 61 |ot}}% eq|ual vspa|
|00000530| 63 65 20 61 62 6f 76 65 | 20 61 6e 64 20 62 65 6c |ce above| and bel|
|00000540| 6f 77 20 61 72 67 75 65 | 20 64 69 73 70 6c 61 79 |ow argue| display|
|00000550| 0a 5c 6c 65 74 5c 65 6e | 64 73 79 6d 62 6f 6c 73 |.\let\en|dsymbols|
|00000560| 3d 5c 65 6e 64 7a 65 64 | 0a 5c 6d 61 6b 65 61 74 |=\endzed|.\makeat|
|00000570| 6f 74 68 65 72 0a 25 0a | 5c 62 65 67 69 6e 7b 64 |other.%.|\begin{d|
|00000580| 6f 63 75 6d 65 6e 74 7d | 0a 5c 62 65 67 69 6e 7b |ocument}|.\begin{|
|00000590| 63 65 6e 74 65 72 7d 0a | 7b 5c 4c 61 72 67 65 5c |center}.|{\Large\|
|000005a0| 62 66 20 50 72 69 6e 74 | 69 6e 67 20 5a 20 61 6e |bf Print|ing Z an|
|000005b0| 64 20 4f 62 6a 65 63 74 | 2d 5a 20 5c 4c 61 54 65 |d Object|-Z \LaTe|
|000005c0| 58 5c 20 64 6f 63 75 6d | 65 6e 74 73 7d 5c 5c 5b |X\ docum|ents}\\[|
|000005d0| 32 2e 35 65 78 5d 0a 7b | 5c 65 6d 20 50 61 75 6c |2.5ex].{|\em Paul|
|000005e0| 20 4b 69 6e 67 7d 5c 5c | 5b 31 65 78 5d 0a 44 65 | King}\\|[1ex].De|
|000005f0| 70 61 72 74 6d 65 6e 74 | 20 6f 66 20 43 6f 6d 70 |partment| of Comp|
|00000600| 75 74 65 72 20 53 63 69 | 65 6e 63 65 5c 5c 0a 55 |uter Sci|ence\\.U|
|00000610| 6e 69 76 65 72 73 69 74 | 79 20 6f 66 20 51 75 65 |niversit|y of Que|
|00000620| 65 6e 73 6c 61 6e 64 5c | 5c 0a 41 75 73 74 72 61 |ensland\|\.Austra|
|00000630| 6c 69 61 2c 20 34 30 37 | 32 5c 5c 0a 6b 69 6e 67 |lia, 407|2\\.king|
|00000640| 40 62 61 74 73 65 72 76 | 65 72 2e 63 73 2e 75 71 |@batserv|er.cs.uq|
|00000650| 2e 6f 7a 2e 61 75 5c 5c | 5b 31 65 78 5d 0a 4d 61 |.oz.au\\|[1ex].Ma|
|00000660| 79 20 32 39 2c 20 31 39 | 39 30 0a 5c 65 6e 64 7b |y 29, 19|90.\end{|
|00000670| 63 65 6e 74 65 72 7d 0a | 0a 5c 73 65 63 74 69 6f |center}.|.\sectio|
|00000680| 6e 7b 49 6e 74 72 6f 64 | 75 63 74 69 6f 6e 7d 0a |n{Introd|uction}.|
|00000690| 54 68 69 73 20 6e 6f 74 | 65 20 64 65 73 63 72 69 |This not|e descri|
|000006a0| 62 65 73 20 61 20 70 61 | 63 6b 61 67 65 20 6f 66 |bes a pa|ckage of|
|000006b0| 20 5c 4c 61 54 65 58 5c | 20 6d 61 63 72 6f 73 20 | \LaTeX\| macros |
|000006c0| 66 6f 72 20 70 72 69 6e | 74 69 6e 67 0a 5a 20 61 |for prin|ting.Z a|
|000006d0| 6e 64 20 4f 62 6a 65 63 | 74 2d 5a 20 73 70 65 63 |nd Objec|t-Z spec|
|000006e0| 69 66 69 63 61 74 69 6f | 6e 73 2e 20 20 54 68 65 |ificatio|ns.  The|
|000006f0| 20 6d 61 63 72 6f 73 20 | 61 6e 64 20 74 68 69 73 | macros |and this|
|00000700| 20 6e 6f 74 65 20 61 72 | 65 0a 62 61 73 65 64 20 | note ar|e.based |
|00000710| 6f 72 69 67 69 6e 61 6c | 6c 79 20 6f 6e 20 4d 69 |original|ly on Mi|
|00000720| 6b 65 20 53 70 69 76 65 | 79 27 73 20 5c 76 65 72 |ke Spive|y's \ver|
|00000730| 62 27 7a 65 64 2e 73 74 | 79 27 20 6d 61 63 72 6f |b'zed.st|y' macro|
|00000740| 73 20 61 6e 64 20 64 6f | 63 75 6d 65 6e 74 61 74 |s and do|cumentat|
|00000750| 69 6f 6e 2e 0a 54 68 65 | 20 70 61 63 6b 61 67 65 |ion..The| package|
|00000760| 20 64 6f 65 73 20 73 65 | 76 65 72 61 6c 20 72 65 | does se|veral re|
|00000770| 6c 61 74 65 64 20 74 68 | 69 6e 67 73 20 66 6f 72 |lated th|ings for|
|00000780| 20 79 6f 75 3a 0a 5c 62 | 65 67 69 6e 7b 69 74 65 | you:.\b|egin{ite|
|00000790| 6d 69 7a 65 7d 0a 5c 69 | 74 65 6d 20 20 20 49 74 |mize}.\i|tem   It|
|000007a0| 20 6c 6f 61 64 73 20 65 | 78 74 72 61 20 66 6f 6e | loads e|xtra fon|
|000007b0| 74 73 20 61 6e 64 20 64 | 65 66 69 6e 65 73 20 6d |ts and d|efines m|
|000007c0| 6e 65 6d 6f 6e 69 63 73 | 0a 09 66 6f 72 20 74 68 |nemonics|..for th|
|000007d0| 65 20 5a 20 73 79 6d 62 | 6f 6c 73 20 74 68 65 79 |e Z symb|ols they|
|000007e0| 20 63 6f 6e 74 61 69 6e | 2e 0a 5c 69 74 65 6d 20 | contain|..\item |
|000007f0| 20 20 49 74 20 64 65 66 | 69 6e 65 73 20 6d 61 63 |  It def|ines mac|
|00000800| 72 6f 73 20 66 6f 72 20 | 73 6f 6d 65 20 5a 20 73 |ros for |some Z s|
|00000810| 79 6d 62 6f 6c 73 20 28 | 65 2e 67 2e 20 24 5c 70 |ymbols (|e.g. $\p|
|00000820| 69 6e 6a 24 29 20 77 68 | 69 63 68 0a 20 20 20 20 |inj$) wh|ich.    |
|00000830| 20 20 20 20 64 6f 6e 27 | 74 20 61 70 70 65 61 72 |    don'|t appear|
|00000840| 20 69 6e 20 61 6e 79 20 | 6f 66 20 6f 75 72 20 66 | in any |of our f|
|00000850| 6f 6e 74 73 2e 0a 5c 69 | 74 65 6d 20 20 20 49 74 |onts..\i|tem   It|
|00000860| 20 66 69 78 65 73 20 74 | 68 65 20 77 61 79 20 5c | fixes t|he way \|
|00000870| 54 65 58 5c 20 73 65 74 | 73 20 6c 65 74 74 65 72 |TeX\ set|s letter|
|00000880| 73 20 69 6e 20 6d 61 74 | 68 65 6d 61 74 69 63 61 |s in mat|hematica|
|00000890| 6c 20 66 6f 72 6d 75 6c | 61 73 20 73 6f 0a 20 20 |l formul|as so.  |
|000008a0| 20 20 20 20 20 20 74 68 | 61 74 20 6d 75 6c 74 69 |      th|at multi|
|000008b0| 2d 63 68 61 72 61 63 74 | 65 72 20 69 64 65 6e 74 |-charact|er ident|
|000008c0| 69 66 69 65 72 73 20 6c | 6f 6f 6b 20 62 65 74 74 |ifiers l|ook bett|
|000008d0| 65 72 2e 0a 5c 69 74 65 | 6d 20 20 20 49 74 20 70 |er..\ite|m   It p|
|000008e0| 72 6f 76 69 64 65 73 20 | 76 61 72 69 6f 75 73 20 |rovides |various |
|000008f0| 62 72 61 6e 64 73 20 6f | 66 20 60 62 6f 78 65 64 |brands o|f `boxed|
|00000900| 20 6d 61 74 68 65 6d 61 | 74 69 63 73 27 0a 20 20 | mathema|tics'.  |
|00000910| 20 20 20 20 20 20 77 68 | 69 63 68 20 61 70 70 65 |      wh|ich appe|
|00000920| 61 72 20 69 6e 20 5a 20 | 61 6e 64 20 4f 62 6a 65 |ar in Z |and Obje|
|00000930| 63 74 2d 5a 20 73 70 65 | 63 69 66 69 63 61 74 69 |ct-Z spe|cificati|
|00000940| 6f 6e 73 2e 0a 5c 65 6e | 64 7b 69 74 65 6d 69 7a |ons..\en|d{itemiz|
|00000950| 65 7d 0a 0a 54 68 65 20 | 70 61 63 6b 61 67 65 20 |e}..The |package |
|00000960| 69 73 20 6b 65 70 74 20 | 69 6e 20 61 20 66 69 6c |is kept |in a fil|
|00000970| 65 20 7b 5c 74 74 20 6f | 7a 2e 73 74 79 7d 0a 69 |e {\tt o|z.sty}.i|
|00000980| 6e 20 74 68 65 20 64 69 | 72 65 63 74 6f 72 79 20 |n the di|rectory |
|00000990| 5c 76 65 72 62 7c 2f 75 | 73 72 2f 6c 6f 63 61 6c |\verb|/u|sr/local|
|000009a0| 2f 6c 69 62 2f 74 65 78 | 2f 6c 6f 63 61 6c 69 6e |/lib/tex|/localin|
|000009b0| 70 75 74 73 7c 2e 0a 54 | 68 69 73 20 64 69 72 65 |puts|..T|his dire|
|000009c0| 63 74 6f 72 79 20 73 68 | 6f 75 6c 64 20 62 65 20 |ctory sh|ould be |
|000009d0| 6d 65 6e 74 69 6f 6e 65 | 64 20 69 6e 20 79 6f 75 |mentione|d in you|
|000009e0| 72 20 5c 76 65 72 62 7c | 54 45 58 49 4e 50 55 54 |r \verb||TEXINPUT|
|000009f0| 53 7c 20 73 68 65 6c 6c | 20 76 61 72 69 61 62 6c |S| shell| variabl|
|00000a00| 65 2e 0a 54 6f 20 75 73 | 65 20 74 68 65 20 6d 61 |e..To us|e the ma|
|00000a10| 63 72 6f 73 20 79 6f 75 | 20 6a 75 73 74 20 62 65 |cros you| just be|
|00000a20| 67 69 6e 20 79 6f 75 72 | 20 5c 4c 61 54 65 58 5c |gin your| \LaTeX\|
|00000a30| 20 64 6f 63 75 6d 65 6e | 74 20 77 69 74 68 20 73 | documen|t with s|
|00000a40| 6f 6d 65 74 68 69 6e 67 | 20 6c 69 6b 65 3a 0a 5c |omething| like:.\|
|00000a50| 62 65 67 69 6e 7b 71 75 | 6f 74 65 7d 0a 5c 62 65 |begin{qu|ote}.\be|
|00000a60| 67 69 6e 7b 76 65 72 62 | 61 74 69 6d 7d 0a 5c 64 |gin{verb|atim}.\d|
|00000a70| 6f 63 75 6d 65 6e 74 73 | 74 79 6c 65 5b 31 31 70 |ocuments|tyle[11p|
|00000a80| 74 2c 6f 7a 5d 7b 61 72 | 74 69 63 6c 65 7d 0a 5c |t,oz]{ar|ticle}.\|
|00000a90| 65 6e 64 7b 76 65 72 62 | 61 74 69 6d 7d 0a 5c 65 |end{verb|atim}.\e|
|00000aa0| 6e 64 7b 71 75 6f 74 65 | 7d 0a 5c 76 73 70 61 63 |nd{quote|}.\vspac|
|00000ab0| 65 2a 7b 2d 31 2e 35 65 | 78 7d 0a 0a 5c 73 65 63 |e*{-1.5e|x}..\sec|
|00000ac0| 74 69 6f 6e 7b 53 63 68 | 65 6d 61 20 42 6f 78 65 |tion{Sch|ema Boxe|
|00000ad0| 73 7d 0a 0a 54 68 65 20 | 65 78 61 6d 70 6c 65 20 |s}..The |example |
|00000ae0| 62 65 6c 6f 77 20 73 68 | 6f 77 73 20 61 20 73 63 |below sh|ows a sc|
|00000af0| 68 65 6d 61 20 6f 6e 20 | 74 68 65 20 6c 65 66 74 |hema on |the left|
|00000b00| 20 61 6e 64 20 77 68 61 | 74 20 79 6f 75 0a 6e 65 | and wha|t you.ne|
|00000b10| 65 64 20 74 6f 20 73 61 | 79 20 74 6f 20 67 65 74 |ed to sa|y to get|
|00000b20| 20 69 74 20 6f 6e 20 74 | 68 65 20 72 69 67 68 74 | it on t|he right|
|00000b30| 2e 0a 0a 5c 62 65 67 69 | 6e 7b 65 78 61 6d 70 6c |...\begi|n{exampl|
|00000b40| 65 7d 0a 5c 62 65 67 69 | 6e 7b 73 63 68 65 6d 61 |e}.\begi|n{schema|
|00000b50| 7d 7b 42 69 72 74 68 64 | 61 79 42 6f 6f 6b 7d 0a |}{Birthd|ayBook}.|
|00000b60| 20 20 20 20 6b 6e 6f 77 | 6e 3a 20 5c 70 73 65 74 |    know|n: \pset|
|00000b70| 20 4e 41 4d 45 20 5c 5c | 0a 20 20 20 20 62 69 72 | NAME \\|.    bir|
|00000b80| 74 68 64 61 79 3a 20 4e | 41 4d 45 20 5c 70 66 75 |thday: N|AME \pfu|
|00000b90| 6e 20 44 41 54 45 0a 5c | 53 54 0a 20 20 20 20 6b |n DATE.\|ST.    k|
|00000ba0| 6e 6f 77 6e 20 3d 20 5c | 64 6f 6d 20 62 69 72 74 |nown = \|dom birt|
|00000bb0| 68 64 61 79 0a 5c 65 6e | 64 7b 73 63 68 65 6d 61 |hday.\en|d{schema|
|00000bc0| 7d 0a 5c 76 65 72 62 70 | 61 72 74 0a 5c 62 65 67 |}.\verbp|art.\beg|
|00000bd0| 69 6e 7b 73 63 68 65 6d | 61 7d 7b 42 69 72 74 68 |in{schem|a}{Birth|
|00000be0| 64 61 79 42 6f 6f 6b 7d | 0a 20 20 20 20 6b 6e 6f |dayBook}|.    kno|
|00000bf0| 77 6e 3a 20 5c 70 73 65 | 74 20 4e 41 4d 45 20 5c |wn: \pse|t NAME \|
|00000c00| 5c 0a 20 20 20 20 62 69 | 72 74 68 64 61 79 3a 20 |\.    bi|rthday: |
|00000c10| 4e 41 4d 45 20 5c 70 66 | 75 6e 20 44 41 54 45 0a |NAME \pf|un DATE.|
|00000c20| 5c 53 54 0a 20 20 20 20 | 6b 6e 6f 77 6e 20 3d 20 |\ST.    |known = |
|00000c30| 5c 64 6f 6d 20 62 69 72 | 74 68 64 61 79 0a 5c 65 |\dom bir|thday.\e|
|00000c40| 6e 64 7b 73 63 68 65 6d | 61 7d 0a 5c 65 6e 64 7b |nd{schem|a}.\end{|
|00000c50| 76 65 72 62 61 74 69 6d | 7d 0a 5c 65 6e 64 7b 65 |verbatim|}.\end{e|
|00000c60| 78 61 6d 70 6c 65 7d 0a | 0a 54 68 65 20 63 6f 6d |xample}.|.The com|
|00000c70| 6d 61 6e 64 20 5c 76 65 | 72 62 7c 5c 53 54 7c 20 |mand \ve|rb|\ST| |
|00000c80| 28 72 65 61 64 20 60 53 | 75 63 68 20 54 68 61 74 |(read `S|uch That|
|00000c90| 27 29 20 69 73 20 74 68 | 65 20 73 61 6d 65 20 61 |') is th|e same a|
|00000ca0| 73 20 74 68 65 20 70 72 | 65 76 69 6f 75 73 6c 79 |s the pr|eviously|
|00000cb0| 20 75 73 65 64 0a 63 6f | 6d 6d 61 6e 64 20 5c 76 | used.co|mmand \v|
|00000cc0| 65 72 62 7c 5c 77 68 65 | 72 65 7c 20 77 68 69 63 |erb|\whe|re| whic|
|00000cd0| 68 20 68 61 73 20 62 65 | 65 6e 20 6b 65 70 74 20 |h has be|en kept |
|00000ce0| 61 73 20 61 6e 20 61 6c | 69 61 73 20 66 6f 72 20 |as an al|ias for |
|00000cf0| 75 70 77 61 72 64 20 63 | 6f 6d 70 61 74 69 62 69 |upward c|ompatibi|
|00000d00| 6c 69 74 79 2e 0a 49 66 | 20 79 6f 75 20 77 61 6e |lity..If| you wan|
|00000d10| 74 20 61 20 73 63 68 65 | 6d 61 20 77 69 74 68 20 |t a sche|ma with |
|00000d20| 6e 6f 20 6e 61 6d 65 2c | 20 6a 75 73 74 20 61 20 |no name,| just a |
|00000d30| 68 6f 72 69 7a 6f 6e 74 | 61 6c 20 72 75 6c 65 20 |horizont|al rule |
|00000d40| 61 74 20 74 68 65 20 74 | 6f 70 2c 0a 75 73 65 20 |at the t|op,.use |
|00000d50| 74 68 65 20 5c 76 65 72 | 62 7c 73 63 68 65 6d 61 |the \ver|b|schema|
|00000d60| 2a 7c 20 65 6e 76 69 72 | 6f 6e 6d 65 6e 74 20 69 |*| envir|onment i|
|00000d70| 6e 73 74 65 61 64 2e 0a | 59 6f 75 20 63 61 6e 20 |nstead..|You can |
|00000d80| 73 65 74 20 76 61 72 69 | 6f 75 73 20 70 61 72 61 |set vari|ous para|
|00000d90| 6d 65 74 65 72 73 20 28 | 73 65 65 20 53 65 63 74 |meters (|see Sect|
|00000da0| 69 6f 6e 20 37 29 20 74 | 6f 20 63 68 61 6e 67 65 |ion 7) t|o change|
|00000db0| 20 74 68 65 20 62 6f 78 | 20 73 74 79 6c 65 2c 0a | the box| style,.|
|00000dc0| 66 6f 72 20 65 78 61 6d | 70 6c 65 3a 0a 0a 5c 62 |for exam|ple:..\b|
|00000dd0| 65 67 69 6e 7b 65 78 61 | 6d 70 6c 65 7d 0a 5c 62 |egin{exa|mple}.\b|
|00000de0| 65 67 69 6e 7b 6c 65 66 | 74 73 63 68 65 6d 61 73 |egin{lef|tschemas|
|00000df0| 7d 0a 5c 7a 65 64 63 6f | 72 6e 65 72 68 65 69 67 |}.\zedco|rnerheig|
|00000e00| 68 74 3d 33 65 78 5c 7a | 65 64 6c 69 6e 65 74 68 |ht=3ex\z|edlineth|
|00000e10| 69 63 6b 6e 65 73 73 3d | 30 2e 39 70 74 0a 5c 7a |ickness=|0.9pt.\z|
|00000e20| 65 64 62 61 72 3d 31 30 | 65 6d 5c 7a 65 64 6c 65 |edbar=10|em\zedle|
|00000e30| 66 74 73 65 70 3d 31 2e | 35 65 6d 0a 5c 62 65 67 |ftsep=1.|5em.\beg|
|00000e40| 69 6e 7b 73 63 68 65 6d | 61 7d 7b 42 69 72 74 68 |in{schem|a}{Birth|
|00000e50| 64 61 79 42 6f 6f 6b 7d | 0a 20 20 20 20 6b 6e 6f |dayBook}|.    kno|
|00000e60| 77 6e 3a 20 5c 70 73 65 | 74 20 4e 41 4d 45 20 5c |wn: \pse|t NAME \|
|00000e70| 5c 0a 20 20 20 20 62 69 | 72 74 68 64 61 79 3a 20 |\.    bi|rthday: |
|00000e80| 4e 41 4d 45 20 5c 70 66 | 75 6e 20 44 41 54 45 0a |NAME \pf|un DATE.|
|00000e90| 5c 53 54 0a 20 20 20 20 | 6b 6e 6f 77 6e 20 3d 20 |\ST.    |known = |
|00000ea0| 5c 64 6f 6d 20 62 69 72 | 74 68 64 61 79 0a 5c 65 |\dom bir|thday.\e|
|00000eb0| 6e 64 7b 73 63 68 65 6d | 61 7d 0a 5c 65 6e 64 7b |nd{schem|a}.\end{|
|00000ec0| 6c 65 66 74 73 63 68 65 | 6d 61 73 7d 0a 5c 6e 65 |leftsche|mas}.\ne|
|00000ed0| 78 74 73 69 64 65 5c 73 | 6d 61 6c 6c 5c 76 73 70 |xtside\s|mall\vsp|
|00000ee0| 61 63 65 7b 2d 31 65 78 | 7d 0a 5c 62 65 67 69 6e |ace{-1ex|}.\begin|
|00000ef0| 7b 71 75 6f 74 65 7d 0a | 49 6e 20 64 6f 63 75 6d |{quote}.|In docum|
|00000f00| 65 6e 74 20 70 72 65 61 | 6d 62 6c 65 3a 20 5c 68 |ent prea|mble: \h|
|00000f10| 66 69 6c 5c 5c 0a 7e 7e | 5c 76 65 72 62 7c 5c 6c |fil\\.~~|\verb|\l|
|00000f20| 65 66 74 73 63 68 65 6d | 61 73 7c 5c 68 66 69 6c |eftschem|as|\hfil|
|00000f30| 5c 5c 0a 7e 7e 5c 76 65 | 72 62 7c 5c 7a 65 64 63 |\\.~~\ve|rb|\zedc|
|00000f40| 6f 72 6e 65 72 68 65 69 | 67 68 74 3d 33 65 78 7c |ornerhei|ght=3ex||
|00000f50| 5c 68 66 69 6c 5c 5c 0a | 7e 7e 5c 76 65 72 62 7c |\hfil\\.|~~\verb||
|00000f60| 5c 7a 65 64 6c 69 6e 65 | 74 68 69 63 6b 6e 65 73 |\zedline|thicknes|
|00000f70| 73 3d 30 2e 39 70 74 7c | 5c 68 66 69 6c 5c 5c 0a |s=0.9pt||\hfil\\.|
|00000f80| 7e 7e 5c 76 65 72 62 7c | 5c 7a 65 64 62 61 72 3d |~~\verb||\zedbar=|
|00000f90| 31 30 65 6d 5c 7a 65 64 | 6c 65 66 74 73 65 70 3d |10em\zed|leftsep=|
|00000fa0| 33 65 6d 7c 5c 68 66 69 | 6c 5c 5c 0a 5c 65 6e 64 |3em|\hfi|l\\.\end|
|00000fb0| 7b 65 78 61 6d 70 6c 65 | 7d 0a 0a 53 63 68 65 6d |{example|}..Schem|
|00000fc0| 61 73 20 63 61 6e 20 61 | 6c 73 6f 20 62 65 20 64 |as can a|lso be d|
|00000fd0| 65 66 69 6e 65 64 20 75 | 73 69 6e 67 20 61 20 68 |efined u|sing a h|
|00000fe0| 6f 72 69 7a 6f 6e 74 61 | 6c 20 6e 6f 74 61 74 69 |orizonta|l notati|
|00000ff0| 6f 6e 2c 20 66 6f 72 20 | 65 78 61 6d 70 6c 65 3a |on, for |example:|
|00001000| 0a 5c 62 65 67 69 6e 7b | 65 78 61 6d 70 6c 65 7d |.\begin{|example}|
|00001010| 0a 5c 62 65 67 69 6e 7b | 7a 65 64 7d 0a 42 69 72 |.\begin{|zed}.Bir|
|00001020| 74 68 64 61 79 42 6f 6f | 6b 20 5c 73 64 65 66 20 |thdayBoo|k \sdef |
|00001030| 5c 6c 73 63 68 20 5c 6c | 64 6f 74 73 20 5c 72 73 |\lsch \l|dots \rs|
|00001040| 63 68 0a 5c 65 6e 64 7b | 7a 65 64 7d 0a 5c 76 65 |ch.\end{|zed}.\ve|
|00001050| 72 62 70 61 72 74 0a 24 | 42 69 72 74 68 64 61 79 |rbpart.$|Birthday|
|00001060| 42 6f 6f 6b 20 5c 73 64 | 65 66 20 5c 6c 73 63 68 |Book \sd|ef \lsch|
|00001070| 20 2e 2e 2e 20 5c 72 73 | 63 68 24 0a 5c 65 6e 64 | ... \rs|ch$.\end|
|00001080| 7b 76 65 72 62 61 74 69 | 6d 7d 0a 5c 65 6e 64 7b |{verbati|m}.\end{|
|00001090| 65 78 61 6d 70 6c 65 7d | 0a 0a 41 20 67 65 6e 65 |example}|..A gene|
|000010a0| 72 69 63 20 73 63 68 65 | 6d 61 20 69 73 20 70 72 |ric sche|ma is pr|
|000010b0| 6f 64 75 63 65 64 20 61 | 73 20 66 6f 6c 6c 6f 77 |oduced a|s follow|
|000010c0| 73 2e 0a 0a 5c 62 65 67 | 69 6e 7b 65 78 61 6d 70 |s...\beg|in{examp|
|000010d0| 6c 65 7d 0a 5c 62 65 67 | 69 6e 7b 67 65 6e 73 63 |le}.\beg|in{gensc|
|000010e0| 68 65 6d 61 7d 7b 50 6f | 6f 6c 7d 7b 52 45 53 4f |hema}{Po|ol}{RESO|
|000010f0| 55 52 43 45 7d 0a 6f 77 | 6e 65 72 20 3a 20 52 45 |URCE}.ow|ner : RE|
|00001100| 53 4f 55 52 43 45 20 5c | 70 66 75 6e 20 55 53 45 |SOURCE \|pfun USE|
|00001110| 52 20 5c 5c 0a 66 72 65 | 65 20 3a 20 5c 70 73 65 |R \\.fre|e : \pse|
|00001120| 74 20 52 45 53 4f 55 52 | 43 45 0a 5c 53 54 0a 28 |t RESOUR|CE.\ST.(|
|00001130| 5c 64 6f 6d 20 6f 77 6e | 65 72 29 20 5c 75 6e 69 |\dom own|er) \uni|
|00001140| 20 66 72 65 65 20 3d 20 | 52 45 53 4f 55 52 43 45 | free = |RESOURCE|
|00001150| 20 5c 5c 0a 28 5c 64 6f | 6d 20 6f 77 6e 65 72 29 | \\.(\do|m owner)|
|00001160| 20 5c 69 6e 74 20 66 72 | 65 65 20 3d 20 5c 65 6d | \int fr|ee = \em|
|00001170| 70 74 79 73 65 74 0a 5c | 65 6e 64 7b 67 65 6e 73 |ptyset.\|end{gens|
|00001180| 63 68 65 6d 61 7d 0a 5c | 76 65 72 62 70 61 72 74 |chema}.\|verbpart|
|00001190| 0a 5c 62 65 67 69 6e 7b | 67 65 6e 73 63 68 65 6d |.\begin{|genschem|
|000011a0| 61 7d 7b 50 6f 6f 6c 7d | 7b 52 45 53 4f 55 52 43 |a}{Pool}|{RESOURC|
|000011b0| 45 7d 0a 6f 77 6e 65 72 | 20 3a 20 52 45 53 4f 55 |E}.owner| : RESOU|
|000011c0| 52 43 45 20 5c 70 66 75 | 6e 20 55 53 45 52 20 5c |RCE \pfu|n USER \|
|000011d0| 5c 0a 66 72 65 65 20 3a | 20 5c 70 73 65 74 20 52 |\.free :| \pset R|
|000011e0| 45 53 4f 55 52 43 45 0a | 5c 53 54 0a 28 5c 64 6f |ESOURCE.|\ST.(\do|
|000011f0| 6d 20 6f 77 6e 65 72 29 | 20 5c 75 6e 69 20 66 72 |m owner)| \uni fr|
|00001200| 65 65 20 3d 20 52 45 53 | 4f 55 52 43 45 20 5c 5c |ee = RES|OURCE \\|
|00001210| 0a 28 5c 64 6f 6d 20 6f | 77 6e 65 72 29 20 5c 69 |.(\dom o|wner) \i|
|00001220| 6e 74 20 66 72 65 65 20 | 3d 20 5c 65 6d 70 74 79 |nt free |= \empty|
|00001230| 73 65 74 0a 5c 65 6e 64 | 7b 67 65 6e 73 63 68 65 |set.\end|{gensche|
|00001240| 6d 61 7d 0a 5c 65 6e 64 | 7b 76 65 72 62 61 74 69 |ma}.\end|{verbati|
|00001250| 6d 7d 0a 5c 65 6e 64 7b | 65 78 61 6d 70 6c 65 7d |m}.\end{|example}|
|00001260| 0a 0a 5c 73 65 63 74 69 | 6f 6e 7b 41 78 69 6f 6d |..\secti|on{Axiom|
|00001270| 61 74 69 63 20 64 65 66 | 69 6e 69 74 69 6f 6e 73 |atic def|initions|
|00001280| 7d 0a 0a 41 20 60 6c 69 | 62 65 72 61 6c 27 20 61 |}..A `li|beral' a|
|00001290| 78 69 6f 6d 61 74 69 63 | 20 64 65 66 69 6e 69 74 |xiomatic| definit|
|000012a0| 69 6f 6e 20 69 73 20 70 | 72 6f 64 75 63 65 64 20 |ion is p|roduced |
|000012b0| 61 73 20 66 6f 6c 6c 6f | 77 73 2e 0a 0a 5c 76 73 |as follo|ws...\vs|
|000012c0| 70 61 63 65 7b 2d 31 65 | 78 7d 5c 62 65 67 69 6e |pace{-1e|x}\begin|
|000012d0| 7b 65 78 61 6d 70 6c 65 | 7d 0a 5c 76 73 70 61 63 |{example|}.\vspac|
|000012e0| 65 7b 5c 68 74 5c 7a 73 | 74 72 75 74 62 6f 78 7d |e{\ht\zs|trutbox}|
|000012f0| 0a 5c 62 65 67 69 6e 7b | 61 78 64 65 66 7d 0a 6c |.\begin{|axdef}.l|
|00001300| 69 6d 69 74 20 3a 20 5c | 6e 61 74 0a 5c 53 54 0a |imit : \|nat.\ST.|
|00001310| 6c 69 6d 69 74 20 5c 6c | 65 71 20 36 35 35 33 36 |limit \l|eq 65536|
|00001320| 0a 5c 65 6e 64 7b 61 78 | 64 65 66 7d 0a 5c 76 65 |.\end{ax|def}.\ve|
|00001330| 72 62 70 61 72 74 0a 5c | 62 65 67 69 6e 7b 61 78 |rbpart.\|begin{ax|
|00001340| 64 65 66 7d 0a 6c 69 6d | 69 74 20 3a 20 5c 6e 61 |def}.lim|it : \na|
|00001350| 74 0a 5c 53 54 0a 6c 69 | 6d 69 74 20 5c 6c 65 71 |t.\ST.li|mit \leq|
|00001360| 20 36 35 35 33 36 0a 5c | 65 6e 64 7b 61 78 64 65 | 65536.\|end{axde|
|00001370| 66 7d 0a 5c 65 6e 64 7b | 76 65 72 62 61 74 69 6d |f}.\end{|verbatim|
|00001380| 7d 0a 5c 65 6e 64 7b 65 | 78 61 6d 70 6c 65 7d 0a |}.\end{e|xample}.|
|00001390| 0a 41 20 60 67 65 6e 65 | 72 69 63 27 20 61 78 69 |.A `gene|ric' axi|
|000013a0| 6f 6d 61 74 69 63 20 64 | 65 66 69 6e 69 74 69 6f |omatic d|efinitio|
|000013b0| 6e 20 69 73 20 70 72 6f | 64 75 63 65 64 20 61 73 |n is pro|duced as|
|000013c0| 20 66 6f 6c 6c 6f 77 73 | 2e 0a 0a 5c 62 65 67 69 | follows|...\begi|
|000013d0| 6e 7b 65 78 61 6d 70 6c | 65 7d 0a 5c 62 65 67 69 |n{exampl|e}.\begi|
|000013e0| 6e 7b 67 65 6e 64 65 66 | 7d 7b 58 2c 59 7d 0a 66 |n{gendef|}{X,Y}.f|
|000013f0| 69 72 73 74 20 3a 20 58 | 20 5c 70 72 6f 64 20 59 |irst : X| \prod Y|
|00001400| 20 5c 74 66 75 6e 20 58 | 0a 5c 53 54 0a 5c 61 6c | \tfun X|.\ST.\al|
|00001410| 6c 20 78 20 3a 20 58 3b | 20 79 20 3a 20 59 20 5c |l x : X;| y : Y \|
|00001420| 64 6f 74 20 66 69 72 73 | 74 28 78 2c 79 29 20 3d |dot firs|t(x,y) =|
|00001430| 20 78 0a 5c 65 6e 64 7b | 67 65 6e 64 65 66 7d 0a | x.\end{|gendef}.|
|00001440| 5c 76 65 72 62 70 61 72 | 74 0a 5c 62 65 67 69 6e |\verbpar|t.\begin|
|00001450| 7b 67 65 6e 64 65 66 7d | 7b 58 2c 59 7d 0a 66 69 |{gendef}|{X,Y}.fi|
|00001460| 72 73 74 20 3a 20 58 20 | 5c 70 72 6f 64 20 59 20 |rst : X |\prod Y |
|00001470| 5c 74 66 75 6e 20 58 0a | 5c 53 54 0a 5c 61 6c 6c |\tfun X.|\ST.\all|
|00001480| 20 78 20 3a 20 58 3b 20 | 79 20 3a 20 59 20 5c 64 | x : X; |y : Y \d|
|00001490| 6f 74 20 66 69 72 73 74 | 28 78 2c 79 29 20 3d 20 |ot first|(x,y) = |
|000014a0| 78 0a 5c 65 6e 64 7b 67 | 65 6e 64 65 66 7d 0a 5c |x.\end{g|endef}.\|
|000014b0| 65 6e 64 7b 76 65 72 62 | 61 74 69 6d 7d 0a 5c 65 |end{verb|atim}.\e|
|000014c0| 6e 64 7b 65 78 61 6d 70 | 6c 65 7d 0a 0a 41 20 60 |nd{examp|le}..A `|
|000014d0| 75 6e 69 71 75 65 27 20 | 61 78 69 6f 6d 61 74 69 |unique' |axiomati|
|000014e0| 63 20 64 65 66 69 6e 69 | 74 69 6f 6e 20 69 73 20 |c defini|tion is |
|000014f0| 70 72 6f 64 75 63 65 64 | 20 61 73 20 66 6f 6c 6c |produced| as foll|
|00001500| 6f 77 73 2e 0a 0a 5c 62 | 65 67 69 6e 7b 65 78 61 |ows...\b|egin{exa|
|00001510| 6d 70 6c 65 7d 0a 5c 62 | 65 67 69 6e 7b 75 6e 69 |mple}.\b|egin{uni|
|00001520| 71 64 65 66 7d 0a 5c 70 | 69 20 3a 20 5c 72 65 61 |qdef}.\p|i : \rea|
|00001530| 6c 0a 5c 53 54 0a 5c 70 | 69 20 3d 20 33 2e 31 34 |l.\ST.\p|i = 3.14|
|00001540| 31 35 39 32 36 35 5c 6c | 64 6f 74 73 0a 5c 65 6e |159265\l|dots.\en|
|00001550| 64 7b 75 6e 69 71 64 65 | 66 7d 0a 5c 76 65 72 62 |d{uniqde|f}.\verb|
|00001560| 70 61 72 74 0a 5c 62 65 | 67 69 6e 7b 75 6e 69 71 |part.\be|gin{uniq|
|00001570| 64 65 66 7d 0a 5c 70 69 | 20 3a 20 5c 72 65 61 6c |def}.\pi| : \real|
|00001580| 0a 5c 53 54 0a 5c 70 69 | 20 3d 20 33 2e 31 34 31 |.\ST.\pi| = 3.141|
|00001590| 35 39 32 36 35 5c 6c 64 | 6f 74 73 0a 5c 65 6e 64 |59265\ld|ots.\end|
|000015a0| 7b 75 6e 69 71 64 65 66 | 7d 0a 5c 65 6e 64 7b 76 |{uniqdef|}.\end{v|
|000015b0| 65 72 62 61 74 69 6d 7d | 0a 5c 65 6e 64 7b 65 78 |erbatim}|.\end{ex|
|000015c0| 61 6d 70 6c 65 7d 0a 0a | 5c 73 65 63 74 69 6f 6e |ample}..|\section|
|000015d0| 7b 4f 62 6a 65 63 74 2d | 5a 20 43 6c 61 73 73 20 |{Object-|Z Class |
|000015e0| 42 6f 78 65 73 7d 0a 0a | 4f 62 6a 65 63 74 2d 5a |Boxes}..|Object-Z|
|000015f0| 20 61 6c 6c 6f 77 73 20 | 63 6c 61 73 73 20 74 79 | allows |class ty|
|00001600| 70 65 73 20 74 6f 20 62 | 65 20 64 65 66 69 6e 65 |pes to b|e define|
|00001610| 64 20 75 73 69 6e 67 20 | 61 20 62 6f 78 20 76 65 |d using |a box ve|
|00001620| 72 79 0a 73 69 6d 69 6c | 61 72 20 74 6f 20 74 68 |ry.simil|ar to th|
|00001630| 65 20 73 63 68 65 6d 61 | 20 62 6f 78 20 70 72 65 |e schema| box pre|
|00001640| 76 69 6f 75 73 6c 79 20 | 64 65 73 63 72 69 62 65 |viously |describe|
|00001650| 64 2e 0a 49 74 20 61 6c | 6c 6f 77 73 20 74 68 65 |d..It al|lows the|
|00001660| 20 70 72 65 76 69 6f 75 | 73 6c 79 20 64 65 73 63 | previou|sly desc|
|00001670| 72 69 62 65 64 20 62 6f | 78 65 64 20 65 6e 76 69 |ribed bo|xed envi|
|00001680| 72 6f 6e 6d 65 6e 74 73 | 0a 28 61 73 20 77 65 6c |ronments|.(as wel|
|00001690| 6c 20 61 73 20 6e 65 73 | 74 65 64 20 73 75 62 2d |l as nes|ted sub-|
|000016a0| 63 6c 61 73 73 65 73 29 | 20 74 6f 20 62 65 20 70 |classes)| to be p|
|000016b0| 6c 61 63 65 64 20 77 69 | 74 68 69 6e 20 61 20 63 |laced wi|thin a c|
|000016c0| 6c 61 73 73 20 62 6f 78 | 2e 0a 25 0a 49 6e 20 61 |lass box|..%.In a|
|000016d0| 64 64 69 74 69 6f 6e 2c | 20 73 70 65 63 69 61 6c |ddition,| special|
|000016e0| 20 6e 61 6d 65 73 20 63 | 61 6e 20 62 65 20 75 73 | names c|an be us|
|000016f0| 65 64 20 66 6f 72 20 73 | 6f 6d 65 20 6f 66 20 74 |ed for s|ome of t|
|00001700| 68 65 20 62 6f 78 65 64 | 2d 65 6e 76 69 72 6f 6e |he boxed|-environ|
|00001710| 6d 65 6e 74 73 0a 77 68 | 65 6e 20 74 68 65 79 20 |ments.wh|en they |
|00001720| 61 70 70 65 61 72 20 77 | 69 74 68 69 6e 20 61 20 |appear w|ithin a |
|00001730| 63 6c 61 73 73 20 62 6f | 78 2e 0a 54 68 65 20 66 |class bo|x..The f|
|00001740| 6f 6c 6c 6f 77 69 6e 67 | 20 65 78 61 6d 70 6c 65 |ollowing| example|
|00001750| 20 69 6c 6c 75 73 74 72 | 61 74 65 73 20 61 20 63 | illustr|ates a c|
|00001760| 6c 61 73 73 20 64 65 66 | 69 6e 69 74 69 6f 6e 2e |lass def|inition.|
|00001770| 0a 0a 5c 62 65 67 69 6e | 7b 65 78 61 6d 70 6c 65 |..\begin|{example|
|00001780| 7d 0a 5c 62 65 67 69 6e | 7b 63 6c 61 73 73 7d 7b |}.\begin|{class}{|
|00001790| 53 68 61 70 65 7d 0a 5c | 61 6c 73 6f 0a 63 6f 6c |Shape}.\|also.col|
|000017a0| 6f 75 72 20 3a 20 43 6f | 6c 6f 75 72 20 5c 5c 0a |our : Co|lour \\.|
|000017b0| 5c 62 65 67 69 6e 7b 61 | 78 64 65 66 7d 0a 70 65 |\begin{a|xdef}.pe|
|000017c0| 72 69 6d 20 3a 20 5c 72 | 65 61 6c 0a 5c 53 54 0a |rim : \r|eal.\ST.|
|000017d0| 70 65 72 69 6d 20 3e 20 | 30 0a 5c 65 6e 64 7b 61 |perim > |0.\end{a|
|000017e0| 78 64 65 66 7d 20 5c 5c | 0a 5c 62 65 67 69 6e 7b |xdef} \\|.\begin{|
|000017f0| 63 6c 61 73 73 63 6f 6d | 7d 0a 54 68 69 73 20 63 |classcom|}.This c|
|00001800| 6c 61 73 73 20 68 61 73 | 20 32 20 63 6f 6e 73 74 |lass has| 2 const|
|00001810| 61 6e 74 73 0a 24 63 6f | 6c 6f 75 72 24 20 61 6e |ants.$co|lour$ an|
|00001820| 64 20 24 70 65 72 69 6d | 24 2e 0a 5c 65 6e 64 7b |d $perim|$..\end{|
|00001830| 63 6c 61 73 73 63 6f 6d | 7d 20 5c 5c 0a 5c 62 65 |classcom|} \\.\be|
|00001840| 67 69 6e 7b 73 74 61 74 | 65 7d 0a 78 2c 20 79 20 |gin{stat|e}.x, y |
|00001850| 3a 20 5c 72 65 61 6c 0a | 5c 65 6e 64 7b 73 74 61 |: \real.|\end{sta|
|00001860| 74 65 7d 20 5c 5c 0a 5c | 62 65 67 69 6e 7b 69 6e |te} \\.\|begin{in|
|00001870| 69 74 7d 0a 78 20 3d 20 | 79 20 3d 20 30 0a 5c 65 |it}.x = |y = 0.\e|
|00001880| 6e 64 7b 69 6e 69 74 7d | 20 5c 5c 0a 5c 62 65 67 |nd{init}| \\.\beg|
|00001890| 69 6e 7b 6f 70 7d 7b 54 | 72 61 6e 73 6c 61 74 65 |in{op}{T|ranslate|
|000018a0| 7d 0a 5c 44 65 6c 74 61 | 20 28 78 2c 79 29 20 5c |}.\Delta| (x,y) \|
|000018b0| 5c 0a 64 78 3f 2c 20 64 | 79 3f 20 3a 20 5c 72 65 |\.dx?, d|y? : \re|
|000018c0| 61 6c 0a 5c 53 54 0a 78 | 27 20 3d 20 78 20 2b 20 |al.\ST.x|' = x + |
|000018d0| 64 78 3f 20 5c 5c 0a 79 | 27 20 3d 20 79 20 2b 20 |dx? \\.y|' = y + |
|000018e0| 64 79 3f 0a 5c 65 6e 64 | 7b 6f 70 7d 0a 5c 65 6e |dy?.\end|{op}.\en|
|000018f0| 64 7b 63 6c 61 73 73 7d | 0a 5c 76 65 72 62 70 61 |d{class}|.\verbpa|
|00001900| 72 74 0a 5c 62 65 67 69 | 6e 7b 63 6c 61 73 73 7d |rt.\begi|n{class}|
|00001910| 7b 53 68 61 70 65 7d 0a | 5c 61 6c 73 6f 0a 63 6f |{Shape}.|\also.co|
|00001920| 6c 6f 75 72 20 3a 20 43 | 6f 6c 6f 75 72 20 5c 5c |lour : C|olour \\|
|00001930| 0a 5c 62 65 67 69 6e 7b | 61 78 64 65 66 7d 0a 70 |.\begin{|axdef}.p|
|00001940| 65 72 69 6d 20 3a 20 5c | 72 65 61 6c 0a 5c 53 54 |erim : \|real.\ST|
|00001950| 0a 70 65 72 69 6d 20 3e | 20 30 0a 5c 65 6e 64 7b |.perim >| 0.\end{|
|00001960| 61 78 64 65 66 7d 20 5c | 5c 0a 5c 62 65 67 69 6e |axdef} \|\.\begin|
|00001970| 7b 63 6c 61 73 73 63 6f | 6d 7d 0a 54 68 69 73 20 |{classco|m}.This |
|00001980| 63 6c 61 73 73 20 68 61 | 73 20 32 20 63 6f 6e 73 |class ha|s 2 cons|
|00001990| 74 61 6e 74 73 0a 24 63 | 6f 6c 6f 75 72 24 20 61 |tants.$c|olour$ a|
|000019a0| 6e 64 20 24 70 65 72 69 | 6d 24 2e 0a 5c 65 6e 64 |nd $peri|m$..\end|
|000019b0| 7b 63 6c 61 73 73 63 6f | 6d 7d 20 5c 5c 0a 5c 62 |{classco|m} \\.\b|
|000019c0| 65 67 69 6e 7b 73 74 61 | 74 65 7d 0a 78 2c 20 79 |egin{sta|te}.x, y|
|000019d0| 20 3a 20 5c 72 65 61 6c | 0a 5c 65 6e 64 7b 73 74 | : \real|.\end{st|
|000019e0| 61 74 65 7d 20 5c 5c 0a | 5c 62 65 67 69 6e 7b 69 |ate} \\.|\begin{i|
|000019f0| 6e 69 74 7d 0a 78 20 3d | 20 79 20 3d 20 30 0a 5c |nit}.x =| y = 0.\|
|00001a00| 65 6e 64 7b 69 6e 69 74 | 7d 20 5c 5c 0a 5c 62 65 |end{init|} \\.\be|
|00001a10| 67 69 6e 7b 6f 70 7d 7b | 54 72 61 6e 73 6c 61 74 |gin{op}{|Translat|
|00001a20| 65 7d 0a 5c 44 65 6c 74 | 61 20 28 78 2c 79 29 20 |e}.\Delt|a (x,y) |
|00001a30| 5c 5c 0a 64 78 3f 2c 20 | 64 79 3f 20 3a 20 5c 72 |\\.dx?, |dy? : \r|
|00001a40| 65 61 6c 0a 5c 53 54 0a | 78 27 20 3d 20 78 20 2b |eal.\ST.|x' = x +|
|00001a50| 20 64 78 3f 20 5c 5c 0a | 79 27 20 3d 20 79 20 2b | dx? \\.|y' = y +|
|00001a60| 20 64 79 3f 0a 5c 65 6e | 64 7b 6f 70 7d 0a 5c 65 | dy?.\en|d{op}.\e|
|00001a70| 6e 64 7b 63 6c 61 73 73 | 7d 0a 5c 65 6e 64 7b 76 |nd{class|}.\end{v|
|00001a80| 65 72 62 61 74 69 6d 7d | 0a 5c 65 6e 64 7b 65 78 |erbatim}|.\end{ex|
|00001a90| 61 6d 70 6c 65 7d 0a 0a | 54 68 65 20 5c 76 65 72 |ample}..|The \ver|
|00001aa0| 62 7c 63 6c 61 73 73 63 | 6f 6d 7c 20 65 6e 76 69 |b|classc|om| envi|
|00001ab0| 72 6f 6e 6d 65 6e 74 20 | 68 61 73 6e 27 74 20 62 |ronment |hasn't b|
|00001ac0| 65 65 6e 20 73 65 65 6e | 20 62 65 66 6f 72 65 2e |een seen| before.|
|00001ad0| 0a 49 74 20 63 72 65 61 | 74 65 73 20 61 20 70 61 |.It crea|tes a pa|
|00001ae0| 72 61 67 72 61 70 68 20 | 6f 66 20 74 65 78 74 20 |ragraph |of text |
|00001af0| 77 69 74 68 20 74 68 65 | 20 73 61 6d 65 20 6d 61 |with the| same ma|
|00001b00| 72 67 69 6e 73 20 61 73 | 20 75 73 65 64 0a 66 6f |rgins as| used.fo|
|00001b10| 72 20 73 63 68 65 6d 61 | 73 20 61 6e 64 20 6f 74 |r schema|s and ot|
|00001b20| 68 65 72 20 5a 20 65 6e | 76 69 72 6f 6e 6d 65 6e |her Z en|vironmen|
|00001b30| 74 73 2e 20 20 49 74 20 | 75 73 65 73 20 61 20 73 |ts.  It |uses a s|
|00001b40| 70 65 63 69 61 6c 20 66 | 6f 6e 74 0a 69 6e 74 65 |pecial f|ont.inte|
|00001b50| 6e 64 65 64 20 66 6f 72 | 20 75 73 65 20 77 68 65 |nded for| use whe|
|00001b60| 6e 20 70 6c 61 63 69 6e | 67 20 63 6f 6d 6d 65 6e |n placin|g commen|
|00001b70| 74 73 20 69 6e 73 69 64 | 65 20 63 6c 61 73 73 65 |ts insid|e classe|
|00001b80| 73 2e 0a 41 20 73 69 6d | 69 6c 61 72 20 65 6e 76 |s..A sim|ilar env|
|00001b90| 69 72 6f 6e 6d 65 6e 74 | 2c 20 5c 76 65 72 62 7c |ironment|, \verb||
|00001ba0| 7a 70 61 72 7c 2c 20 75 | 73 65 73 20 74 68 65 20 |zpar|, u|ses the |
|00001bb0| 73 61 6d 65 20 6d 61 72 | 67 69 6e 73 0a 62 75 74 |same mar|gins.but|
|00001bc0| 20 77 69 74 68 20 74 68 | 65 20 6e 6f 72 6d 61 6c | with th|e normal|
|00001bd0| 20 72 6f 6d 61 6e 20 66 | 6f 6e 74 2e 0a 0a 54 68 | roman f|ont...Th|
|00001be0| 65 20 5c 76 65 72 62 7c | 5c 62 65 67 69 6e 7b 69 |e \verb||\begin{i|
|00001bf0| 6e 69 74 7d 7c 20 63 6f | 6d 6d 61 6e 64 20 69 73 |nit}| co|mmand is|
|00001c00| 20 61 6e 20 61 62 62 72 | 65 76 69 61 74 69 6f 6e | an abbr|eviation|
|00001c10| 20 66 6f 72 0a 5c 76 65 | 72 62 7c 5c 62 65 67 69 | for.\ve|rb|\begi|
|00001c20| 6e 7b 73 63 68 65 6d 61 | 7d 7b 5c 49 6e 69 74 7d |n{schema|}{\Init}|
|00001c30| 7c 2e 20 20 53 69 6d 69 | 6c 61 72 6c 79 20 5c 76 ||.  Simi|larly \v|
|00001c40| 65 72 62 7c 5c 62 65 67 | 69 6e 7b 73 74 61 74 65 |erb|\beg|in{state|
|00001c50| 7d 7c 0a 69 73 20 61 20 | 6d 6f 72 65 20 6d 65 61 |}|.is a |more mea|
|00001c60| 6e 69 6e 67 66 75 6c 20 | 73 79 6e 6f 6e 79 6d 20 |ningful |synonym |
|00001c70| 66 6f 72 20 5c 76 65 72 | 62 7c 5c 62 65 67 69 6e |for \ver|b|\begin|
|00001c80| 7b 73 63 68 65 6d 61 2a | 7d 7c 2e 0a 0a 59 6f 75 |{schema*|}|...You|
|00001c90| 20 77 69 6c 6c 20 62 65 | 20 67 69 76 65 6e 20 5c | will be| given \|
|00001ca0| 4c 61 54 65 58 5c 20 77 | 61 72 6e 69 6e 67 20 6d |LaTeX\ w|arning m|
|00001cb0| 65 73 73 61 67 65 73 20 | 69 66 20 79 6f 75 20 74 |essages |if you t|
|00001cc0| 72 79 20 74 6f 0a 75 73 | 65 20 61 20 5c 76 65 72 |ry to.us|e a \ver|
|00001cd0| 62 7c 73 74 61 74 65 7c | 20 65 6e 76 69 72 6f 6e |b|state|| environ|
|00001ce0| 6d 65 6e 74 20 6f 75 74 | 73 69 64 65 20 6f 66 20 |ment out|side of |
|00001cf0| 61 20 63 6c 61 73 73 20 | 62 6f 78 0a 6f 72 20 69 |a class |box.or i|
|00001d00| 66 20 79 6f 75 20 74 72 | 79 20 74 6f 20 70 6c 61 |f you tr|y to pla|
|00001d10| 63 65 20 61 6e 20 65 6e | 76 69 72 6f 6e 6d 65 6e |ce an en|vironmen|
|00001d20| 74 20 73 75 63 68 20 61 | 73 20 5c 76 65 72 62 7c |t such a|s \verb||
|00001d30| 73 79 6e 74 61 78 7c 0a | 69 6e 73 69 64 65 20 61 |syntax|.|inside a|
|00001d40| 20 63 6c 61 73 73 2e 20 | 20 59 6f 75 20 63 61 6e | class. | You can|
|00001d50| 20 61 73 6b 20 66 6f 72 | 20 61 64 64 69 74 69 6f | ask for| additio|
|00001d60| 6e 61 6c 20 68 65 6c 70 | 20 69 6e 20 74 68 65 73 |nal help| in thes|
|00001d70| 65 0a 63 61 73 65 73 20 | 75 73 69 6e 67 20 74 68 |e.cases |using th|
|00001d80| 65 20 6e 6f 72 6d 61 6c | 20 5c 4c 61 54 65 58 5c |e normal| \LaTeX\|
|00001d90| 20 5c 76 65 72 62 7c 68 | 7c 20 6f 72 20 5c 76 65 | \verb|h|| or \ve|
|00001da0| 72 62 7c 48 7c 20 68 65 | 6c 70 20 63 6f 6d 6d 61 |rb|H| he|lp comma|
|00001db0| 6e 64 73 2e 0a 49 66 20 | 79 6f 75 20 70 72 6f 63 |nds..If |you proc|
|00001dc0| 65 65 64 20 77 69 74 68 | 20 5c 4c 61 54 65 58 20 |eed with| \LaTeX |
|00001dd0| 69 6e 67 2c 20 74 68 65 | 20 6d 61 63 72 6f 73 20 |ing, the| macros |
|00001de0| 77 69 6c 6c 20 61 74 74 | 65 6d 70 74 20 74 6f 0a |will att|empt to.|
|00001df0| 64 6f 20 74 68 65 20 62 | 65 73 74 20 74 68 65 79 |do the b|est they|
|00001e00| 20 63 61 6e 20 74 6f 20 | 64 6f 20 77 68 61 74 20 | can to |do what |
|00001e10| 79 6f 75 20 70 72 6f 62 | 61 62 6c 79 20 69 6e 74 |you prob|ably int|
|00001e20| 65 6e 64 2c 20 65 76 65 | 6e 20 74 68 6f 75 67 68 |end, eve|n though|
|00001e30| 0a 79 6f 75 20 61 72 65 | 20 76 69 6f 6c 61 74 69 |.you are| violati|
|00001e40| 6e 67 20 74 68 65 20 72 | 65 63 6f 6d 6d 65 6e 64 |ng the r|ecommend|
|00001e50| 65 64 20 6e 65 73 74 69 | 6e 67 20 67 75 69 64 65 |ed nesti|ng guide|
|00001e60| 6c 69 6e 65 73 2e 0a 0a | 5c 73 65 63 74 69 6f 6e |lines...|\section|
|00001e70| 7b 43 6f 6e 74 72 6f 6c | 6c 69 6e 67 20 74 68 65 |{Control|ling the|
|00001e80| 20 53 70 61 63 69 6e 67 | 20 77 69 74 68 69 6e 20 | Spacing| within |
|00001e90| 45 71 75 61 74 69 6f 6e | 73 20 61 6e 64 20 42 6f |Equation|s and Bo|
|00001ea0| 78 65 73 7d 0a 0a 4d 6f | 73 74 20 6f 66 20 74 68 |xes}..Mo|st of th|
|00001eb0| 65 20 73 70 65 63 69 61 | 6c 20 5a 20 73 79 6d 62 |e specia|l Z symb|
|00001ec0| 6f 6c 73 20 61 72 65 20 | 64 65 66 69 6e 65 64 0a |ols are |defined.|
|00001ed0| 69 6e 20 61 20 77 61 79 | 20 74 68 61 74 20 61 6c |in a way| that al|
|00001ee0| 6c 6f 77 73 20 5c 54 65 | 58 5c 20 74 6f 20 73 70 |lows \Te|X\ to sp|
|00001ef0| 61 63 65 20 74 68 65 6d | 20 6f 75 74 20 63 6f 72 |ace them| out cor|
|00001f00| 72 65 63 74 6c 79 2e 0a | 53 6f 6d 65 74 69 6d 65 |rectly..|Sometime|
|00001f10| 73 2c 20 68 6f 77 65 76 | 65 72 2c 20 79 6f 75 27 |s, howev|er, you'|
|00001f20| 6c 6c 20 6e 65 65 64 20 | 74 6f 20 67 69 76 65 20 |ll need |to give |
|00001f30| 5c 54 65 58 5c 20 61 20 | 68 65 6c 70 69 6e 67 20 |\TeX\ a |helping |
|00001f40| 68 61 6e 64 20 69 66 0a | 79 6f 75 20 77 61 6e 74 |hand if.|you want|
|00001f50| 20 69 74 20 74 6f 20 67 | 65 74 20 74 68 65 20 73 | it to g|et the s|
|00001f60| 70 61 63 69 6e 67 20 72 | 69 67 68 74 2e 20 20 46 |pacing r|ight.  F|
|00001f70| 6f 72 20 65 78 61 6d 70 | 6c 65 2c 20 74 6f 20 67 |or examp|le, to g|
|00001f80| 65 74 20 24 6d 61 70 5c | 2c 66 24 0a 79 6f 75 20 |et $map\|,f$.you |
|00001f90| 6e 65 65 64 20 74 6f 20 | 74 79 70 65 20 5c 76 65 |need to |type \ve|
|00001fa0| 72 62 7c 6d 61 70 5c 2c | 66 7c 2e 20 20 54 68 65 |rb|map\,|f|.  The|
|00001fb0| 20 5c 76 65 72 62 7c 5c | 2c 7c 20 67 69 76 65 73 | \verb|\|,| gives|
|00001fc0| 20 79 6f 75 20 61 20 74 | 68 69 6e 20 73 70 61 63 | you a t|hin spac|
|00001fd0| 65 3a 0a 69 66 20 74 68 | 69 73 20 69 73 20 6f 6d |e:.if th|is is om|
|00001fe0| 69 74 74 65 64 2c 20 74 | 68 65 20 69 6e 70 75 74 |itted, t|he input|
|00001ff0| 20 5c 76 65 72 62 7c 6d | 61 70 20 66 7c 20 67 69 | \verb|m|ap f| gi|
|00002000| 76 65 73 0a 24 6d 61 70 | 20 66 24 2c 20 62 65 63 |ves.$map| f$, bec|
|00002010| 61 75 73 65 20 5c 54 65 | 58 5c 20 69 67 6e 6f 72 |ause \Te|X\ ignor|
|00002020| 65 73 20 73 70 61 63 65 | 73 20 69 6e 20 6d 61 74 |es space|s in mat|
|00002030| 68 20 6d 6f 64 65 2e 0a | 0a 53 6f 6d 65 74 69 6d |h mode..|.Sometim|
|00002040| 65 73 20 69 74 20 69 73 | 20 75 73 65 66 75 6c 20 |es it is| useful |
|00002050| 74 6f 20 69 6e 64 65 6e | 74 20 74 68 65 20 6c 65 |to inden|t the le|
|00002060| 66 74 20 6d 61 72 67 69 | 6e 20 74 6f 20 65 6d 70 |ft margi|n to emp|
|00002070| 68 61 73 69 73 0a 74 68 | 65 20 6c 6f 67 69 63 61 |hasis.th|e logica|
|00002080| 6c 20 73 74 72 75 63 74 | 75 72 65 20 6f 66 20 74 |l struct|ure of t|
|00002090| 68 65 20 70 72 65 64 69 | 63 61 74 65 2e 0a 54 68 |he predi|cate..Th|
|000020a0| 65 20 63 6f 6d 6d 61 6e | 64 20 5c 76 65 72 62 7c |e comman|d \verb||
|000020b0| 5c 74 31 7c 20 64 6f 65 | 73 20 74 68 69 73 20 62 |\t1| doe|s this b|
|000020c0| 79 20 6d 61 6b 69 6e 67 | 20 74 68 65 20 63 6f 72 |y making| the cor|
|000020d0| 72 65 73 70 6f 6e 64 69 | 6e 67 0a 6c 69 6e 65 20 |respondi|ng.line |
|000020e0| 69 6e 20 74 68 65 20 6f | 75 74 70 75 74 20 68 61 |in the o|utput ha|
|000020f0| 76 65 20 6f 6e 65 20 68 | 65 6c 70 69 6e 67 20 6f |ve one h|elping o|
|00002100| 66 20 69 6e 64 65 6e 74 | 61 74 69 6f 6e 2e 0a 41 |f indent|ation..A|
|00002110| 73 20 74 68 69 6e 67 73 | 20 67 65 74 20 6d 6f 72 |s things| get mor|
|00002120| 65 20 6e 65 73 74 65 64 | 2c 20 79 6f 75 20 63 61 |e nested|, you ca|
|00002130| 6e 20 73 61 79 20 5c 76 | 65 72 62 7c 5c 74 32 7c |n say \v|erb|\t2||
|00002140| 2c 20 5c 76 65 72 62 7c | 5c 74 33 7c 2c 20 61 6e |, \verb||\t3|, an|
|00002150| 64 20 73 6f 20 6f 6e 2e | 0a 42 75 74 20 69 66 20 |d so on.|.But if |
|00002160| 79 6f 75 20 73 68 6f 75 | 6c 64 20 65 76 65 72 20 |you shou|ld ever |
|00002170| 67 65 74 20 62 65 79 6f | 6e 64 20 5c 76 65 72 62 |get beyo|nd \verb|
|00002180| 7c 74 39 7c 2c 20 79 6f | 75 27 6c 6c 20 6e 65 65 ||t9|, yo|u'll nee|
|00002190| 64 20 74 6f 20 75 73 65 | 20 62 72 61 63 65 73 0a |d to use| braces.|
|000021a0| 61 72 6f 75 6e 64 20 74 | 68 65 20 61 72 67 75 6d |around t|he argum|
|000021b0| 65 6e 74 3a 20 5c 76 65 | 72 62 7c 5c 74 7b 31 30 |ent: \ve|rb|\t{10|
|000021c0| 7d 7c 2c 20 61 6e 64 20 | 79 6f 75 27 64 20 62 65 |}|, and |you'd be|
|000021d0| 74 74 65 72 20 6c 6f 6f | 6b 20 66 6f 72 20 73 6f |tter loo|k for so|
|000021e0| 6d 65 20 77 61 79 0a 74 | 6f 20 73 69 6d 70 6c 69 |me way.t|o simpli|
|000021f0| 66 79 20 79 6f 75 72 20 | 73 70 65 63 69 66 69 63 |fy your |specific|
|00002200| 61 74 69 6f 6e 21 0a 54 | 68 65 73 65 20 6c 69 74 |ation!.T|hese lit|
|00002210| 74 6c 65 20 74 61 62 20 | 6d 61 72 6b 73 20 6d 69 |tle tab |marks mi|
|00002220| 67 68 74 20 6c 6f 6f 6b | 20 64 69 66 66 65 72 65 |ght look| differe|
|00002230| 6e 74 20 74 6f 20 6e 6f | 72 6d 61 6c 20 74 61 62 |nt to no|rmal tab|
|00002240| 73 0a 62 75 74 20 61 72 | 65 20 6e 65 76 65 72 20 |s.but ar|e never |
|00002250| 74 68 65 20 6c 65 73 73 | 20 63 6f 6e 76 65 6e 69 |the less| conveni|
|00002260| 65 6e 74 2e 20 54 68 65 | 79 27 72 65 20 73 68 6f |ent. The|y're sho|
|00002270| 72 74 2c 0a 61 6e 64 20 | 74 68 65 79 20 64 6f 6e |rt,.and |they don|
|00002280| 27 74 20 67 65 74 20 6c | 6f 6e 67 65 72 20 61 73 |'t get l|onger as|
|00002290| 20 74 68 65 20 74 61 62 | 62 69 6e 67 20 67 65 74 | the tab|bing get|
|000022a0| 73 20 64 65 65 70 65 72 | 2c 20 77 69 74 68 69 6e |s deeper|, within|
|000022b0| 20 72 65 61 73 6f 6e 2c | 0a 73 6f 20 74 68 65 79 | reason,|.so they|
|000022c0| 20 63 61 6e 20 62 65 20 | 74 75 63 6b 65 64 20 69 | can be |tucked i|
|000022d0| 6e 20 6e 65 61 74 6c 79 | 20 6f 6e 20 74 68 65 20 |n neatly| on the |
|000022e0| 6c 65 66 74 2c 20 77 65 | 6c 6c 20 61 77 61 79 20 |left, we|ll away |
|000022f0| 66 72 6f 6d 20 74 68 65 | 20 6d 61 74 68 73 2e 0a |from the| maths..|
|00002300| 54 68 65 20 73 69 7a 65 | 20 6f 66 20 60 68 65 6c |The size| of `hel|
|00002310| 70 69 6e 67 27 20 79 6f | 75 20 67 65 74 20 77 69 |ping' yo|u get wi|
|00002320| 74 68 20 5c 76 65 72 62 | 7c 5c 74 7c 20 69 73 20 |th \verb||\t| is |
|00002330| 64 65 74 65 72 6d 69 6e | 65 64 20 62 79 0a 74 68 |determin|ed by.th|
|00002340| 65 20 5c 76 65 72 62 7c | 5c 7a 65 64 74 61 62 7c |e \verb||\zedtab||
|00002350| 20 70 61 72 61 6d 65 74 | 65 72 20 28 73 65 65 20 | paramet|er (see |
|00002360| 53 65 63 74 69 6f 6e 20 | 37 29 2e 0a 0a 49 66 20 |Section |7)...If |
|00002370| 79 6f 75 20 77 61 6e 74 | 20 61 20 6d 6f 72 65 20 |you want| a more |
|00002380| 70 6f 77 65 72 66 75 6c | 20 61 6c 69 67 6e 69 6e |powerful| alignin|
|00002390| 67 20 6d 65 63 68 61 6e | 69 73 6d 20 74 68 61 6e |g mechan|ism than|
|000023a0| 20 74 61 62 62 69 6e 67 | 0a 74 68 65 6e 20 79 6f | tabbing|.then yo|
|000023b0| 75 20 63 61 6e 20 75 73 | 65 20 74 68 65 20 6d 61 |u can us|e the ma|
|000023c0| 72 67 69 6e 20 73 74 61 | 63 6b 20 61 73 20 73 68 |rgin sta|ck as sh|
|000023d0| 6f 77 6e 20 69 6e 20 74 | 68 65 20 65 78 61 6d 70 |own in t|he examp|
|000023e0| 6c 65 20 62 65 6c 6f 77 | 2e 0a 54 68 65 20 63 6f |le below|..The co|
|000023f0| 6d 6d 61 6e 64 20 5c 76 | 65 72 62 7c 5c 4d 7c 20 |mmand \v|erb|\M| |
|00002400| 73 65 74 73 20 74 68 65 | 20 66 75 74 75 72 65 20 |sets the| future |
|00002410| 6c 65 66 74 20 6d 61 72 | 67 69 6e 20 74 6f 20 74 |left mar|gin to t|
|00002420| 68 65 20 63 75 72 72 65 | 6e 74 0a 68 6f 72 69 7a |he curre|nt.horiz|
|00002430| 6f 6e 74 61 6c 20 70 6f | 73 69 74 69 6f 6e 20 61 |ontal po|sition a|
|00002440| 6e 64 20 70 75 73 68 65 | 73 20 74 68 65 20 6f 6c |nd pushe|s the ol|
|00002450| 64 20 76 61 6c 75 65 20 | 6f 6e 74 6f 20 61 20 6d |d value |onto a m|
|00002460| 61 72 67 69 6e 20 73 74 | 61 63 6b 2e 0a 54 68 65 |argin st|ack..The|
|00002470| 20 63 6f 6d 6d 61 6e 64 | 20 5c 76 65 72 62 7c 5c | command| \verb|\|
|00002480| 4f 7c 20 72 65 73 65 74 | 73 20 74 68 65 20 6c 65 |O| reset|s the le|
|00002490| 66 74 20 6d 61 72 67 69 | 6e 20 74 6f 20 69 74 73 |ft margi|n to its|
|000024a0| 20 70 72 65 76 69 6f 75 | 73 20 76 61 6c 75 65 0a | previou|s value.|
|000024b0| 28 77 68 69 63 68 20 69 | 73 20 70 6f 70 70 65 64 |(which i|s popped|
|000024c0| 20 6f 66 66 20 74 68 65 | 20 73 74 61 63 6b 29 2e | off the| stack).|
|000024d0| 0a 0a 5c 62 65 67 69 6e | 7b 65 78 61 6d 70 6c 65 |..\begin|{example|
|000024e0| 7d 0a 5c 62 65 67 69 6e | 7b 73 63 68 65 6d 61 7d |}.\begin|{schema}|
|000024f0| 7b 54 65 73 74 7d 0a 78 | 2c 20 79 20 3a 20 5c 6e |{Test}.x|, y : \n|
|00002500| 61 74 0a 5c 53 54 0a 78 | 20 2b 20 31 2f 78 20 3d |at.\ST.x| + 1/x =|
|00002510| 20 30 20 5c 69 6d 70 20 | 5c 4d 20 79 20 2b 20 31 | 0 \imp |\M y + 1|
|00002520| 2f 79 20 3d 20 30 20 5c | 5c 0a 79 20 3d 20 78 20 |/y = 0 \|\.y = x |
|00002530| 5c 4f 20 5c 5c 0a 5c 65 | 6e 64 7b 73 63 68 65 6d |\O \\.\e|nd{schem|
|00002540| 61 7d 0a 5c 76 65 72 62 | 70 61 72 74 0a 5c 62 65 |a}.\verb|part.\be|
|00002550| 67 69 6e 7b 73 63 68 65 | 6d 61 7d 7b 54 65 73 74 |gin{sche|ma}{Test|
|00002560| 7d 0a 78 2c 20 79 20 3a | 20 5c 6e 61 74 0a 5c 53 |}.x, y :| \nat.\S|
|00002570| 54 0a 78 20 2b 20 31 2f | 78 20 3d 20 30 20 5c 69 |T.x + 1/|x = 0 \i|
|00002580| 6d 70 20 5c 4d 20 79 20 | 2b 20 31 2f 79 20 3d 20 |mp \M y |+ 1/y = |
|00002590| 30 20 5c 5c 0a 79 20 3d | 20 78 20 5c 4f 20 5c 5c |0 \\.y =| x \O \\|
|000025a0| 0a 5c 65 6e 64 7b 73 63 | 68 65 6d 61 7d 0a 5c 65 |.\end{sc|hema}.\e|
|000025b0| 6e 64 7b 76 65 72 62 61 | 74 69 6d 7d 0a 5c 65 6e |nd{verba|tim}.\en|
|000025c0| 64 7b 65 78 61 6d 70 6c | 65 7d 0a 0a 49 66 20 61 |d{exampl|e}..If a|
|000025d0| 20 73 63 68 65 6d 61 20 | 6f 72 20 6f 74 68 65 72 | schema |or other|
|000025e0| 20 62 6f 78 20 63 6f 6e | 74 61 69 6e 73 20 6d 6f | box con|tains mo|
|000025f0| 72 65 20 74 68 61 6e 20 | 6f 6e 65 20 70 72 65 64 |re than |one pred|
|00002600| 69 63 61 74 65 20 62 65 | 6c 6f 77 20 74 68 65 0a |icate be|low the.|
|00002610| 6c 69 6e 65 2c 20 69 74 | 20 6f 66 74 65 6e 20 6c |line, it| often l|
|00002620| 6f 6f 6b 73 20 62 65 74 | 74 65 72 20 74 6f 20 61 |ooks bet|ter to a|
|00002630| 64 64 20 61 20 74 69 6e | 79 20 76 65 72 74 69 63 |dd a tin|y vertic|
|00002640| 61 6c 20 73 70 61 63 65 | 20 62 65 74 77 65 65 6e |al space| between|
|00002650| 0a 74 68 65 6d 2c 20 61 | 73 20 69 6e 20 74 68 69 |.them, a|s in thi|
|00002660| 73 20 65 78 61 6d 70 6c | 65 3a 0a 0a 5c 62 65 67 |s exampl|e:..\beg|
|00002670| 69 6e 7b 65 78 61 6d 70 | 6c 65 7d 0a 5c 62 65 67 |in{examp|le}.\beg|
|00002680| 69 6e 7b 73 63 68 65 6d | 61 7d 7b 41 64 64 42 69 |in{schem|a}{AddBi|
|00002690| 72 74 68 64 61 79 7d 0a | 20 20 5c 44 65 6c 74 61 |rthday}.|  \Delta|
|000026a0| 20 42 69 72 74 68 64 61 | 79 42 6f 6f 6b 20 5c 5c | Birthda|yBook \\|
|000026b0| 0a 20 20 6e 3f 3a 20 4e | 41 4d 45 20 5c 5c 0a 20 |.  n?: N|AME \\. |
|000026c0| 20 64 3f 3a 20 44 41 54 | 45 0a 5c 53 54 0a 20 20 | d?: DAT|E.\ST.  |
|000026d0| 6e 3f 20 5c 6e 65 6d 20 | 6b 6e 6f 77 6e 0a 5c 61 |n? \nem |known.\a|
|000026e0| 6c 73 6f 0a 20 20 62 69 | 72 74 68 64 61 79 27 20 |lso.  bi|rthday' |
|000026f0| 3d 20 62 69 72 74 68 64 | 61 79 20 5c 75 6e 69 20 |= birthd|ay \uni |
|00002700| 5c 7b 6e 3f 20 5c 6d 61 | 70 20 64 3f 5c 7d 0a 5c |\{n? \ma|p d?\}.\|
|00002710| 65 6e 64 7b 73 63 68 65 | 6d 61 7d 0a 5c 76 65 72 |end{sche|ma}.\ver|
|00002720| 62 70 61 72 74 0a 5c 62 | 65 67 69 6e 7b 73 63 68 |bpart.\b|egin{sch|
|00002730| 65 6d 61 7d 7b 41 64 64 | 42 69 72 74 68 64 61 79 |ema}{Add|Birthday|
|00002740| 7d 0a 20 20 5c 44 65 6c | 74 61 20 42 69 72 74 68 |}.  \Del|ta Birth|
|00002750| 64 61 79 42 6f 6f 6b 20 | 5c 5c 0a 20 20 6e 3f 3a |dayBook |\\.  n?:|
|00002760| 20 4e 41 4d 45 20 5c 5c | 0a 20 20 64 3f 3a 20 44 | NAME \\|.  d?: D|
|00002770| 41 54 45 0a 5c 53 54 0a | 20 20 6e 3f 20 5c 6e 65 |ATE.\ST.|  n? \ne|
|00002780| 6d 20 6b 6e 6f 77 6e 0a | 5c 61 6c 73 6f 0a 20 20 |m known.|\also.  |
|00002790| 62 69 72 74 68 64 61 79 | 27 3d 62 69 72 74 68 64 |birthday|'=birthd|
|000027a0| 61 79 20 5c 75 6e 69 20 | 5c 7b 6e 3f 20 5c 6d 61 |ay \uni |\{n? \ma|
|000027b0| 70 20 64 3f 5c 7d 0a 5c | 65 6e 64 7b 73 63 68 65 |p d?\}.\|end{sche|
|000027c0| 6d 61 7d 0a 5c 65 6e 64 | 7b 76 65 72 62 61 74 69 |ma}.\end|{verbati|
|000027d0| 6d 7d 0a 5c 65 6e 64 7b | 65 78 61 6d 70 6c 65 7d |m}.\end{|example}|
|000027e0| 0a 0a 54 68 69 73 20 69 | 73 20 64 6f 6e 65 20 77 |..This i|s done w|
|000027f0| 69 74 68 20 74 68 65 20 | 63 6f 6d 6d 61 6e 64 20 |ith the |command |
|00002800| 5c 76 65 72 62 7c 5c 61 | 6c 73 6f 7c 2c 20 77 68 |\verb|\a|lso|, wh|
|00002810| 69 63 68 20 62 65 68 61 | 76 65 73 20 73 79 6e 74 |ich beha|ves synt|
|00002820| 61 63 74 69 63 61 6c 6c | 79 0a 6c 69 6b 65 20 5c |acticall|y.like \|
|00002830| 76 65 72 62 7c 5c 53 54 | 7c 2e 0a 54 68 65 20 63 |verb|\ST||..The c|
|00002840| 6f 6d 6d 61 6e 64 20 5c | 76 65 72 62 7c 5c 61 6c |ommand \|verb|\al|
|00002850| 73 6f 7c 20 69 73 20 70 | 72 6f 76 69 64 65 64 20 |so| is p|rovided |
|00002860| 7b 5c 65 6d 20 69 6e 73 | 74 65 61 64 5c 2f 7d 20 |{\em ins|tead\/} |
|00002870| 6f 66 20 74 68 65 0a 6f | 70 74 69 6f 6e 61 6c 20 |of the.o|ptional |
|00002880| 61 72 67 75 6d 65 6e 74 | 20 74 6f 20 5c 76 65 72 |argument| to \ver|
|00002890| 62 7c 5c 5c 7c 0a 77 68 | 69 63 68 20 5c 4c 61 54 |b|\\|.wh|ich \LaT|
|000028a0| 65 58 5c 20 70 72 6f 76 | 69 64 65 73 20 69 6e 20 |eX\ prov|ides in |
|000028b0| 6f 74 68 65 72 20 65 6e | 76 69 72 6f 6e 6d 65 6e |other en|vironmen|
|000028c0| 74 73 2e 0a 49 66 20 6c | 61 72 67 65 72 20 76 65 |ts..If l|arger ve|
|000028d0| 72 74 69 63 61 6c 20 73 | 70 61 63 69 6e 67 20 69 |rtical s|pacing i|
|000028e0| 73 20 72 65 71 75 69 72 | 65 64 2c 20 74 68 65 20 |s requir|ed, the |
|000028f0| 63 6f 6d 6d 61 6e 64 73 | 0a 5c 76 65 72 62 7c 5c |commands|.\verb|\|
|00002900| 41 6c 73 6f 7c 20 61 6e | 64 20 5c 76 65 72 62 7c |Also| an|d \verb||
|00002910| 5c 41 4c 53 4f 7c 20 6d | 61 79 20 62 65 20 75 73 |\ALSO| m|ay be us|
|00002920| 65 64 20 28 67 69 76 69 | 6e 67 20 32 20 61 6e 64 |ed (givi|ng 2 and|
|00002930| 20 34 20 74 69 6d 65 73 | 0a 61 73 20 6d 75 63 68 | 4 times|.as much|
|00002940| 20 73 70 61 63 65 20 61 | 73 20 5c 76 65 72 62 7c | space a|s \verb||
|00002950| 5c 61 6c 73 6f 7c 20 72 | 65 73 70 65 63 74 69 76 |\also| r|espectiv|
|00002960| 65 6c 79 29 2e 0a 0a 4e | 6f 72 6d 61 6c 6c 79 2c |ely)...N|ormally,|
|00002970| 20 74 68 65 20 63 6f 6e | 74 65 6e 74 73 20 6f 66 | the con|tents of|
|00002980| 20 61 20 73 63 68 65 6d | 61 20 62 6f 78 20 61 72 | a schem|a box ar|
|00002990| 65 20 6b 65 70 74 20 6f | 6e 20 61 20 73 69 6e 67 |e kept o|n a sing|
|000029a0| 6c 65 20 70 61 67 65 2e | 0a 46 6f 72 20 6c 61 72 |le page.|.For lar|
|000029b0| 67 65 20 73 63 68 65 6d | 61 73 20 69 74 20 6d 61 |ge schem|as it ma|
|000029c0| 79 20 62 65 20 6e 65 63 | 65 73 73 61 72 79 20 74 |y be nec|essary t|
|000029d0| 6f 20 73 70 6c 69 74 20 | 74 68 65 20 62 6f 78 20 |o split |the box |
|000029e0| 61 63 72 6f 73 73 20 70 | 61 67 65 73 2e 0a 59 6f |across p|ages..Yo|
|000029f0| 75 20 6d 75 73 74 20 73 | 70 65 63 69 66 79 20 77 |u must s|pecify w|
|00002a00| 68 69 63 68 20 70 6c 61 | 63 65 73 20 61 72 65 20 |hich pla|ces are |
|00002a10| 73 75 69 74 61 62 6c 65 | 20 66 6f 72 20 73 70 6c |suitable| for spl|
|00002a20| 69 74 74 69 6e 67 20 75 | 73 69 6e 67 20 6f 6e 65 |itting u|sing one|
|00002a30| 20 6f 66 0a 5c 76 65 72 | 62 7c 5c 7a 62 72 65 61 | of.\ver|b|\zbrea|
|00002a40| 6b 7c 2c 20 5c 76 65 72 | 62 7c 5c 5a 62 72 65 61 |k|, \ver|b|\Zbrea|
|00002a50| 6b 7c 20 6f 72 20 5c 76 | 65 72 62 7c 5c 5a 42 52 |k| or \v|erb|\ZBR|
|00002a60| 45 41 4b 7c 2e 20 20 49 | 66 20 6e 6f 20 73 70 6c |EAK|.  I|f no spl|
|00002a70| 69 74 20 69 73 0a 70 65 | 72 66 6f 72 6d 65 64 20 |it is.pe|rformed |
|00002a80| 61 74 20 74 68 69 73 20 | 70 6f 69 6e 74 2c 20 61 |at this |point, a|
|00002a90| 20 76 65 72 74 69 63 61 | 6c 20 73 70 61 63 65 20 | vertica|l space |
|00002aa0| 77 69 6c 6c 20 62 65 20 | 61 64 64 65 64 20 61 73 |will be |added as|
|00002ab0| 20 69 66 20 74 68 65 0a | 75 73 65 72 20 68 61 64 | if the.|user had|
|00002ac0| 20 74 79 70 65 64 20 5c | 76 65 72 62 7c 5c 61 6c | typed \|verb|\al|
|00002ad0| 73 6f 7c 2c 20 5c 76 65 | 72 62 7c 5c 41 6c 73 6f |so|, \ve|rb|\Also|
|00002ae0| 7c 2c 20 6f 72 20 5c 76 | 65 72 62 7c 5c 41 4c 53 ||, or \v|erb|\ALS|
|00002af0| 4f 7c 20 72 65 73 70 65 | 63 74 69 76 65 6c 79 2e |O| respe|ctively.|
|00002b00| 0a 59 6f 75 20 63 61 6e | 20 61 6c 73 6f 20 75 73 |.You can| also us|
|00002b10| 65 20 74 68 65 20 5c 76 | 65 72 62 7c 5c 7a 6e 65 |e the \v|erb|\zne|
|00002b20| 77 70 61 67 65 7c 20 63 | 6f 6d 6d 61 6e 64 20 74 |wpage| c|ommand t|
|00002b30| 6f 20 66 6f 72 63 65 20 | 61 20 70 61 67 65 20 62 |o force |a page b|
|00002b40| 72 65 61 6b 20 77 69 74 | 68 69 6e 0a 61 20 62 6f |reak wit|hin.a bo|
|00002b50| 78 2e 20 20 28 54 68 65 | 73 65 20 62 72 65 61 6b |x.  (The|se break|
|00002b60| 69 6e 67 20 66 61 63 69 | 6c 69 74 69 65 73 20 77 |ing faci|lities w|
|00002b70| 69 6c 6c 20 68 6f 70 65 | 66 75 6c 6c 79 20 6e 65 |ill hope|fully ne|
|00002b80| 76 65 72 20 62 65 20 6e | 65 65 64 65 64 20 66 6f |ver be n|eeded fo|
|00002b90| 72 20 73 63 68 65 6d 61 | 73 2c 0a 62 75 74 20 6d |r schema|s,.but m|
|00002ba0| 61 79 20 62 65 63 6f 6d | 65 20 6e 65 63 65 73 73 |ay becom|e necess|
|00002bb0| 61 72 79 20 66 6f 72 20 | 63 6c 61 73 73 20 73 70 |ary for |class sp|
|00002bc0| 65 63 69 66 69 63 61 74 | 69 6f 6e 73 2e 29 0a 0a |ecificat|ions.)..|
|00002bd0| 5c 73 65 63 74 69 6f 6e | 7b 4f 74 68 65 72 20 44 |\section|{Other D|
|00002be0| 69 73 70 6c 61 79 20 45 | 6e 76 69 72 6f 6e 6d 65 |isplay E|nvironme|
|00002bf0| 6e 74 73 7d 0a 0a 54 68 | 65 20 5c 76 65 72 62 7c |nts}..Th|e \verb||
|00002c00| 7a 65 64 7c 20 65 6e 76 | 69 72 6f 6e 6d 65 6e 74 |zed| env|ironment|
|00002c10| 20 63 61 6e 20 62 65 20 | 75 73 65 64 20 74 6f 20 | can be |used to |
|00002c20| 73 65 74 20 6d 75 6c 74 | 69 2d 6c 69 6e 65 20 66 |set mult|i-line f|
|00002c30| 6f 72 6d 75 6c 61 73 20 | 77 69 74 68 6f 75 74 0a |ormulas |without.|
|00002c40| 61 6e 20 65 6e 63 6c 6f | 73 69 6e 67 20 62 6f 78 |an enclo|sing box|
|00002c50| 3a 20 69 74 20 69 73 20 | 75 73 65 66 75 6c 20 66 |: it is |useful f|
|00002c60| 6f 72 20 67 69 76 65 6e | 2d 73 65 74 20 64 65 63 |or given|-set dec|
|00002c70| 6c 61 72 61 74 69 6f 6e | 73 2c 20 74 68 65 6f 72 |laration|s, theor|
|00002c80| 65 6d 73 2c 20 61 6e 64 | 20 74 68 65 0a 6d 69 73 |ems, and| the.mis|
|00002c90| 63 65 6c 6c 61 6e 65 6f | 75 73 20 62 69 74 73 20 |cellaneo|us bits |
|00002ca0| 6f 66 20 6d 61 74 68 65 | 6d 61 74 69 63 73 20 74 |of mathe|matics t|
|00002cb0| 68 61 74 20 64 6f 6e 27 | 74 20 63 6f 6d 65 20 69 |hat don'|t come i|
|00002cc0| 6e 20 61 20 62 6f 78 3a | 0a 0a 5c 76 73 70 61 63 |n a box:|..\vspac|
|00002cd0| 65 7b 2d 31 65 78 7d 5c | 62 65 67 69 6e 7b 65 78 |e{-1ex}\|begin{ex|
|00002ce0| 61 6d 70 6c 65 7d 0a 5c | 76 73 70 61 63 65 7b 5c |ample}.\|vspace{\|
|00002cf0| 68 74 5c 7a 73 74 72 75 | 74 62 6f 78 7d 0a 5c 62 |ht\zstru|tbox}.\b|
|00002d00| 65 67 69 6e 7b 7a 65 64 | 7d 0a 20 20 20 20 5c 61 |egin{zed|}.    \a|
|00002d10| 6c 6c 20 6e 3a 20 5c 6e | 61 74 20 5c 64 6f 74 20 |ll n: \n|at \dot |
|00002d20| 5c 5c 0a 5c 74 31 20 20 | 20 20 20 20 20 20 20 6e |\\.\t1  |       n|
|00002d30| 2b 6e 20 5c 6d 65 6d 20 | 65 76 65 6e 2e 0a 5c 65 |+n \mem |even..\e|
|00002d40| 6e 64 7b 7a 65 64 7d 0a | 5c 76 65 72 62 70 61 72 |nd{zed}.|\verbpar|
|00002d50| 74 0a 5c 62 65 67 69 6e | 7b 7a 65 64 7d 0a 20 20 |t.\begin|{zed}.  |
|00002d60| 20 20 5c 61 6c 6c 20 6e | 3a 20 5c 6e 61 74 20 5c |  \all n|: \nat \|
|00002d70| 64 6f 74 20 5c 5c 0a 5c | 74 31 20 20 20 20 20 20 |dot \\.\|t1      |
|00002d80| 20 20 20 6e 2b 6e 20 5c | 6d 65 6d 20 65 76 65 6e |   n+n \|mem even|
|00002d90| 2e 0a 5c 65 6e 64 7b 7a | 65 64 7d 0a 5c 65 6e 64 |..\end{z|ed}.\end|
|00002da0| 7b 76 65 72 62 61 74 69 | 6d 7d 0a 5c 65 6e 64 7b |{verbati|m}.\end{|
|00002db0| 65 78 61 6d 70 6c 65 7d | 0a 0a 54 68 65 20 66 6f |example}|..The fo|
|00002dc0| 72 6d 75 6c 61 20 5c 76 | 65 72 62 7c 5c 62 65 67 |rmula \v|erb|\beg|
|00002dd0| 69 6e 7b 7a 65 64 7d 20 | 2e 2e 2e 20 5c 65 6e 64 |in{zed} |... \end|
|00002de0| 7b 7a 65 64 7d 7c 20 6d | 61 79 20 62 65 20 61 62 |{zed}| m|ay be ab|
|00002df0| 62 72 65 76 69 61 74 65 | 64 20 74 6f 0a 5c 76 65 |breviate|d to.\ve|
|00002e00| 72 62 7c 5c 5b 20 2e 2e | 2e 20 5c 5d 7c 3b 20 74 |rb|\[ ..|. \]|; t|
|00002e10| 68 65 20 5c 76 65 72 62 | 7c 7a 65 64 7c 20 65 6e |he \verb||zed| en|
|00002e20| 76 69 72 6f 6e 6d 65 6e | 74 20 69 73 20 61 20 67 |vironmen|t is a g|
|00002e30| 65 6e 65 72 61 6c 69 7a | 61 74 69 6f 6e 20 6f 66 |eneraliz|ation of|
|00002e40| 20 74 68 65 0a 5c 76 65 | 72 62 7c 64 69 73 70 6c | the.\ve|rb|displ|
|00002e50| 61 79 6d 61 74 68 7c 20 | 65 6e 76 69 72 6f 6e 6d |aymath| |environm|
|00002e60| 65 6e 74 20 6f 66 20 5c | 4c 61 54 65 58 2c 20 73 |ent of \|LaTeX, s|
|00002e70| 6f 20 74 68 69 73 20 72 | 65 64 65 66 69 6e 69 74 |o this r|edefinit|
|00002e80| 69 6f 6e 20 6f 66 0a 63 | 6f 6d 6d 61 6e 64 73 20 |ion of.c|ommands |
|00002e90| 69 73 20 66 61 69 72 6c | 79 20 62 65 6e 69 67 6e |is fairl|y benign|
|00002ea0| 2e 20 4e 6f 74 69 63 65 | 20 74 68 61 74 20 74 68 |. Notice| that th|
|00002eb0| 65 20 6d 61 74 68 73 20 | 69 73 20 73 65 74 20 66 |e maths |is set f|
|00002ec0| 6c 75 73 68 20 6c 65 66 | 74 20 6f 6e 20 74 68 65 |lush lef|t on the|
|00002ed0| 0a 73 61 6d 65 20 69 6e | 64 65 6e 74 61 74 69 6f |.same in|dentatio|
|00002ee0| 6e 20 61 73 20 73 63 68 | 65 6d 61 73 20 61 6e 64 |n as sch|emas and|
|00002ef0| 20 74 68 65 69 72 20 66 | 72 69 65 6e 64 73 2e 0a | their f|riends..|
|00002f00| 48 65 72 65 20 74 6f 6f | 20 79 6f 75 20 63 61 6e |Here too| you can|
|00002f10| 20 75 73 65 20 5c 76 65 | 72 62 7c 5c 61 6c 73 6f | use \ve|rb|\also|
|00002f20| 7c 20 66 6f 72 20 61 20 | 6c 69 74 74 6c 65 20 65 || for a |little e|
|00002f30| 78 74 72 61 20 73 70 61 | 63 65 0a 62 65 74 77 65 |xtra spa|ce.betwe|
|00002f40| 65 6e 20 6c 69 6e 65 73 | 2e 0a 0a 46 6f 72 20 61 |en lines|...For a|
|00002f50| 6c 67 65 62 72 61 69 63 | 2d 73 74 79 6c 65 20 70 |lgebraic|-style p|
|00002f60| 72 6f 6f 66 73 2c 20 74 | 68 65 72 65 20 69 73 20 |roofs, t|here is |
|00002f70| 74 68 65 20 5c 76 65 72 | 62 7c 61 72 67 75 65 7c |the \ver|b|argue||
|00002f80| 20 65 6e 76 69 72 6f 6e | 6d 65 6e 74 2e 0a 54 68 | environ|ment..Th|
|00002f90| 69 73 20 69 73 20 6c 69 | 6b 65 20 74 68 65 20 5c |is is li|ke the \|
|00002fa0| 76 65 72 62 7c 7a 65 64 | 7c 20 65 6e 76 69 72 6f |verb|zed|| enviro|
|00002fb0| 6e 6d 65 6e 74 2c 20 62 | 75 74 20 74 68 65 20 73 |nment, b|ut the s|
|00002fc0| 65 70 61 72 61 74 69 6f | 6e 20 62 65 74 77 65 65 |eparatio|n betwee|
|00002fd0| 6e 0a 6c 69 6e 65 73 20 | 69 73 20 69 6e 63 72 65 |n.lines |is incre|
|00002fe0| 61 73 65 64 20 61 20 6c | 69 74 74 6c 65 2c 20 61 |ased a l|ittle, a|
|00002ff0| 6e 64 20 70 61 67 65 20 | 62 72 65 61 6b 73 20 6d |nd page |breaks m|
|00003000| 61 79 20 6f 63 63 75 72 | 20 62 65 74 77 65 65 6e |ay occur| between|
|00003010| 20 6c 69 6e 65 73 2e 0a | 57 68 65 6e 20 74 68 65 | lines..|When the|
|00003020| 20 6c 65 66 74 2d 68 61 | 6e 64 20 73 69 64 65 20 | left-ha|nd side |
|00003030| 69 73 20 6c 6f 6e 67 20 | 74 68 69 73 20 73 74 79 |is long |this sty|
|00003040| 6c 65 20 77 61 73 74 65 | 73 20 6c 65 73 73 20 73 |le waste|s less s|
|00003050| 70 61 63 65 0a 74 68 61 | 6e 20 74 68 65 20 5c 4c |pace.tha|n the \L|
|00003060| 61 54 65 58 5c 20 5c 76 | 65 72 62 7c 65 71 6e 61 |aTeX\ \v|erb|eqna|
|00003070| 72 72 61 79 7c 20 73 74 | 79 6c 65 2e 0a 54 68 65 |rray| st|yle..The|
|00003080| 20 69 6e 74 65 6e 64 65 | 64 20 75 73 65 20 69 73 | intende|d use is|
|00003090| 20 66 6f 72 20 61 72 67 | 75 6d 65 6e 74 73 20 6c | for arg|uments l|
|000030a0| 69 6b 65 20 74 68 69 73 | 3a 0a 5c 62 65 67 69 6e |ike this|:.\begin|
|000030b0| 7b 61 72 67 75 65 7d 0a | 20 20 20 20 72 65 76 28 |{argue}.|    rev(|
|000030c0| 61 70 70 65 6e 64 28 63 | 6f 6e 73 28 78 2c 73 29 |append(c|ons(x,s)|
|000030d0| 2c 74 29 29 20 5c 5c 0a | 5c 74 31 20 20 20 20 20 |,t)) \\.|\t1     |
|000030e0| 3d 20 72 65 76 28 63 6f | 6e 73 28 78 2c 61 70 70 |= rev(co|ns(x,app|
|000030f0| 65 6e 64 28 73 2c 74 29 | 29 29 20 5c 5c 0a 5c 74 |end(s,t)|)) \\.\t|
|00003100| 31 20 20 20 20 20 3d 20 | 61 70 70 65 6e 64 28 72 |1     = |append(r|
|00003110| 65 76 28 61 70 70 65 6e | 64 28 73 2c 74 29 29 2c |ev(appen|d(s,t)),|
|00003120| 63 6f 6e 73 28 78 2c 6e | 69 6c 29 29 20 5c 5c 0a |cons(x,n|il)) \\.|
|00003130| 5c 74 31 20 20 20 20 20 | 3d 20 61 70 70 65 6e 64 |\t1     |= append|
|00003140| 28 61 70 70 65 6e 64 28 | 72 65 76 28 74 29 2c 72 |(append(|rev(t),r|
|00003150| 65 76 28 73 29 29 2c 63 | 6f 6e 73 28 78 2c 6e 69 |ev(s)),c|ons(x,ni|
|00003160| 6c 29 29 0a 20 20 20 20 | 20 20 20 20 20 20 20 20 |l)).    |        |
|00003170| 20 20 20 20 5c 71 75 61 | 64 20 5c 68 62 6f 78 7b |    \qua|d \hbox{|
|00003180| 62 79 20 68 79 70 6f 74 | 68 65 73 69 73 7d 20 5c |by hypot|hesis} \|
|00003190| 5c 0a 5c 74 31 20 20 20 | 20 20 3d 20 61 70 70 65 |\.\t1   |  = appe|
|000031a0| 6e 64 28 72 65 76 28 74 | 29 2c 61 70 70 65 6e 64 |nd(rev(t|),append|
|000031b0| 28 72 65 76 28 73 29 2c | 63 6f 6e 73 28 78 2c 6e |(rev(s),|cons(x,n|
|000031c0| 69 6c 29 29 29 20 5c 5c | 0a 5c 74 31 20 20 20 20 |il))) \\|.\t1    |
|000031d0| 20 3d 20 61 70 70 65 6e | 64 28 72 65 76 28 74 29 | = appen|d(rev(t)|
|000031e0| 2c 72 65 76 28 63 6f 6e | 73 28 78 2c 73 29 29 29 |,rev(con|s(x,s)))|
|000031f0| 2e 0a 5c 65 6e 64 7b 61 | 72 67 75 65 7d 0a 48 65 |..\end{a|rgue}.He|
|00003200| 72 65 20 69 73 20 74 68 | 65 20 69 6e 70 75 74 3a |re is th|e input:|
|00003210| 0a 5c 62 65 67 69 6e 7b | 71 75 6f 74 65 7d 0a 5c |.\begin{|quote}.\|
|00003220| 62 65 67 69 6e 7b 76 65 | 72 62 61 74 69 6d 7d 0a |begin{ve|rbatim}.|
|00003230| 5c 62 65 67 69 6e 7b 61 | 72 67 75 65 7d 0a 20 20 |\begin{a|rgue}.  |
|00003240| 20 20 72 65 76 28 61 70 | 70 65 6e 64 28 63 6f 6e |  rev(ap|pend(con|
|00003250| 73 28 78 2c 73 29 2c 74 | 29 29 20 5c 5c 0a 5c 74 |s(x,s),t|)) \\.\t|
|00003260| 31 20 20 20 20 20 3d 20 | 72 65 76 28 63 6f 6e 73 |1     = |rev(cons|
|00003270| 28 78 2c 61 70 70 65 6e | 64 28 73 2c 74 29 29 29 |(x,appen|d(s,t)))|
|00003280| 20 5c 5c 0a 5c 74 31 20 | 20 20 20 20 3d 20 61 70 | \\.\t1 |    = ap|
|00003290| 70 65 6e 64 28 72 65 76 | 28 61 70 70 65 6e 64 28 |pend(rev|(append(|
|000032a0| 73 2c 74 29 29 2c 63 6f | 6e 73 28 78 2c 6e 69 6c |s,t)),co|ns(x,nil|
|000032b0| 29 29 20 5c 5c 0a 5c 74 | 31 20 20 20 20 20 3d 20 |)) \\.\t|1     = |
|000032c0| 61 70 70 65 6e 64 28 61 | 70 70 65 6e 64 28 72 65 |append(a|ppend(re|
|000032d0| 76 28 74 29 2c 72 65 76 | 28 73 29 29 2c 63 6f 6e |v(t),rev|(s)),con|
|000032e0| 73 28 78 2c 6e 69 6c 29 | 29 0a 20 20 20 20 20 20 |s(x,nil)|).      |
|000032f0| 20 20 20 20 20 20 20 20 | 20 20 5c 71 75 61 64 20 |        |  \quad |
|00003300| 5c 68 62 6f 78 7b 62 79 | 20 68 79 70 6f 74 68 65 |\hbox{by| hypothe|
|00003310| 73 69 73 7d 20 5c 5c 0a | 5c 74 31 20 20 20 20 20 |sis} \\.|\t1     |
|00003320| 3d 20 61 70 70 65 6e 64 | 28 72 65 76 28 74 29 2c |= append|(rev(t),|
|00003330| 61 70 70 65 6e 64 28 72 | 65 76 28 73 29 2c 63 6f |append(r|ev(s),co|
|00003340| 6e 73 28 78 2c 6e 69 6c | 29 29 29 20 5c 5c 0a 5c |ns(x,nil|))) \\.\|
|00003350| 74 31 20 20 20 20 20 3d | 20 61 70 70 65 6e 64 28 |t1     =| append(|
|00003360| 72 65 76 28 74 29 2c 72 | 65 76 28 63 6f 6e 73 28 |rev(t),r|ev(cons(|
|00003370| 78 2c 73 29 29 29 2e 0a | 5c 65 6e 64 7b 61 72 67 |x,s)))..|\end{arg|
|00003380| 75 65 7d 0a 5c 65 6e 64 | 7b 76 65 72 62 61 74 69 |ue}.\end|{verbati|
|00003390| 6d 7d 0a 5c 65 6e 64 7b | 71 75 6f 74 65 7d 0a 0a |m}.\end{|quote}..|
|000033a0| 54 68 65 20 65 78 61 6d | 70 6c 65 20 62 65 6c 6f |The exam|ple belo|
|000033b0| 77 20 73 68 6f 77 73 20 | 61 6e 20 69 6e 66 65 72 |w shows |an infer|
|000033c0| 65 6e 63 65 20 72 75 6c | 65 20 28 74 68 65 20 6f |ence rul|e (the o|
|000033d0| 70 74 69 6f 6e 61 6c 20 | 61 72 67 75 6d 65 6e 74 |ptional |argument|
|000033e0| 0a 74 6f 20 5c 76 65 72 | 62 7c 5c 64 65 72 69 76 |.to \ver|b|\deriv|
|000033f0| 65 7c 20 67 69 76 65 73 | 20 61 20 73 69 64 65 2d |e| gives| a side-|
|00003400| 63 6f 6e 64 69 74 69 6f | 6e 20 6f 66 20 74 68 65 |conditio|n of the|
|00003410| 20 72 75 6c 65 29 3a 0a | 0a 5c 76 73 70 61 63 65 | rule):.|.\vspace|
|00003420| 7b 2d 31 65 78 7d 5c 62 | 65 67 69 6e 7b 65 78 61 |{-1ex}\b|egin{exa|
|00003430| 6d 70 6c 65 7d 0a 5c 76 | 73 70 61 63 65 7b 5c 68 |mple}.\v|space{\h|
|00003440| 74 5c 7a 73 74 72 75 74 | 62 6f 78 7d 0a 5c 62 65 |t\zstrut|box}.\be|
|00003450| 67 69 6e 7b 69 6e 66 72 | 75 6c 65 7d 0a 20 20 20 |gin{infr|ule}.   |
|00003460| 20 5c 47 61 6d 6d 61 20 | 5c 73 68 6f 77 73 20 50 | \Gamma |\shows P|
|00003470| 0a 5c 64 65 72 69 76 65 | 5b 78 20 5c 6e 65 6d 20 |.\derive|[x \nem |
|00003480| 66 72 65 65 76 61 72 73 | 28 5c 47 61 6d 6d 61 29 |freevars|(\Gamma)|
|00003490| 5d 0a 20 20 20 20 5c 47 | 61 6d 6d 61 20 5c 73 68 |].    \G|amma \sh|
|000034a0| 6f 77 73 20 5c 61 6c 6c | 20 78 20 5c 64 6f 74 20 |ows \all| x \dot |
|000034b0| 50 0a 5c 65 6e 64 7b 69 | 6e 66 72 75 6c 65 7d 0a |P.\end{i|nfrule}.|
|000034c0| 5c 76 65 72 62 70 61 72 | 74 0a 5c 62 65 67 69 6e |\verbpar|t.\begin|
|000034d0| 7b 69 6e 66 72 75 6c 65 | 7d 0a 20 20 20 20 5c 47 |{infrule|}.    \G|
|000034e0| 61 6d 6d 61 20 5c 73 68 | 6f 77 73 20 50 0a 5c 64 |amma \sh|ows P.\d|
|000034f0| 65 72 69 76 65 5b 78 20 | 5c 6e 65 6d 20 66 72 65 |erive[x |\nem fre|
|00003500| 65 76 61 72 73 28 5c 47 | 61 6d 6d 61 29 5d 0a 20 |evars(\G|amma)]. |
|00003510| 20 20 20 5c 47 61 6d 6d | 61 20 5c 73 68 6f 77 73 |   \Gamm|a \shows|
|00003520| 20 5c 61 6c 6c 20 78 20 | 5c 64 6f 74 20 50 0a 5c | \all x |\dot P.\|
|00003530| 65 6e 64 7b 69 6e 66 72 | 75 6c 65 7d 0a 5c 65 6e |end{infr|ule}.\en|
|00003540| 64 7b 76 65 72 62 61 74 | 69 6d 7d 0a 5c 65 6e 64 |d{verbat|im}.\end|
|00003550| 7b 65 78 61 6d 70 6c 65 | 7d 0a 0a 54 68 65 20 5c |{example|}..The \|
|00003560| 76 65 72 62 7c 73 79 6e | 74 61 78 7c 20 65 6e 76 |verb|syn|tax| env|
|00003570| 69 72 6f 6e 6d 65 6e 74 | 20 69 73 20 75 73 65 64 |ironment| is used|
|00003580| 20 66 6f 72 20 6d 61 6b | 69 6e 67 20 64 69 73 70 | for mak|ing disp|
|00003590| 6c 61 79 73 20 6c 69 6b | 65 20 74 68 69 73 3a 0a |lays lik|e this:.|
|000035a0| 0a 5c 62 65 67 69 6e 7b | 73 79 6e 74 61 78 7d 0a |.\begin{|syntax}.|
|000035b0| 20 20 45 58 50 52 20 26 | 20 5c 64 64 65 66 20 26 |  EXPR &| \ddef &|
|000035c0| 20 49 44 45 4e 54 20 20 | 20 20 20 20 26 20 69 64 | IDENT  |    & id|
|000035d0| 65 6e 74 69 66 69 65 72 | 20 5c 5c 0a 20 20 20 20 |entifier| \\.    |
|000035e0| 20 20 20 26 20 5c 62 62 | 61 72 20 26 20 45 58 50 |   & \bb|ar & EXP|
|000035f0| 52 5c 3b 45 58 50 52 20 | 26 20 61 70 70 6c 69 63 |R\;EXPR |& applic|
|00003600| 61 74 69 6f 6e 20 5c 5c | 0a 20 20 20 20 20 20 20 |ation \\|.       |
|00003610| 26 20 5c 62 62 61 72 20 | 26 20 5c 6c 61 6d 62 64 |& \bbar |& \lambd|
|00003620| 61 20 49 44 45 4e 54 20 | 5c 64 6f 74 20 45 58 50 |a IDENT |\dot EXP|
|00003630| 52 20 26 20 6c 61 6d 62 | 64 61 2d 61 62 73 74 72 |R & lamb|da-abstr|
|00003640| 61 63 74 69 6f 6e 2e 0a | 5c 65 6e 64 7b 73 79 6e |action..|\end{syn|
|00003650| 74 61 78 7d 0a 66 72 6f | 6d 20 69 6e 70 75 74 20 |tax}.fro|m input |
|00003660| 6c 69 6b 65 20 74 68 69 | 73 3a 0a 5c 62 65 67 69 |like thi|s:.\begi|
|00003670| 6e 7b 71 75 6f 74 65 7d | 0a 5c 62 65 67 69 6e 7b |n{quote}|.\begin{|
|00003680| 76 65 72 62 61 74 69 6d | 7d 0a 5c 62 65 67 69 6e |verbatim|}.\begin|
|00003690| 7b 73 79 6e 74 61 78 7d | 0a 20 20 45 58 50 52 20 |{syntax}|.  EXPR |
|000036a0| 26 20 5c 64 64 65 66 20 | 26 20 49 44 45 4e 54 20 |& \ddef |& IDENT |
|000036b0| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |        |        |
|000036c0| 20 20 26 20 69 64 65 6e | 74 69 66 69 65 72 20 5c |  & iden|tifier \|
|000036d0| 5c 0a 20 20 20 20 20 20 | 20 26 20 5c 62 62 61 72 |\.      | & \bbar|
|000036e0| 20 26 20 45 58 50 52 5c | 3b 45 58 50 52 20 20 20 | & EXPR\|;EXPR   |
|000036f0| 20 20 20 20 20 20 20 20 | 20 20 20 26 20 61 70 70 |        |   & app|
|00003700| 6c 69 63 61 74 69 6f 6e | 20 5c 5c 0a 20 20 20 20 |lication| \\.    |
|00003710| 20 20 20 26 20 5c 62 62 | 61 72 20 26 20 5c 6c 61 |   & \bb|ar & \la|
|00003720| 6d 62 64 61 20 49 44 45 | 4e 54 20 5c 64 6f 74 20 |mbda IDE|NT \dot |
|00003730| 45 58 50 52 20 26 20 6c | 61 6d 62 64 61 2d 61 62 |EXPR & l|ambda-ab|
|00003740| 73 74 72 61 63 74 69 6f | 6e 2e 0a 5c 65 6e 64 7b |stractio|n..\end{|
|00003750| 73 79 6e 74 61 78 7d 0a | 5c 65 6e 64 7b 76 65 72 |syntax}.|\end{ver|
|00003760| 62 61 74 69 6d 7d 0a 5c | 65 6e 64 7b 71 75 6f 74 |batim}.\|end{quot|
|00003770| 65 7d 0a 0a 54 68 69 73 | 20 6b 69 6e 64 20 6f 66 |e}..This| kind of|
|00003780| 20 74 68 69 6e 67 20 69 | 73 20 75 73 65 66 75 6c | thing i|s useful|
|00003790| 20 77 68 65 6e 20 79 6f | 75 27 72 65 20 64 65 73 | when yo|u're des|
|000037a0| 63 72 69 62 69 6e 67 20 | 61 20 6c 61 6e 67 75 61 |cribing |a langua|
|000037b0| 67 65 2c 0a 61 6e 64 20 | 69 74 20 63 61 6e 20 61 |ge,.and |it can a|
|000037c0| 6c 73 6f 20 62 65 20 75 | 73 65 64 20 66 6f 72 20 |lso be u|sed for |
|000037d0| 64 61 74 61 2d 74 79 70 | 65 20 64 65 66 69 6e 69 |data-typ|e defini|
|000037e0| 74 69 6f 6e 73 20 61 73 | 20 73 68 6f 77 6e 20 62 |tions as| shown b|
|000037f0| 65 6c 6f 77 2e 0a 54 68 | 65 20 6f 70 74 69 6f 6e |elow..Th|e option|
|00003800| 61 6c 20 66 69 6e 61 6c | 20 63 6f 6c 75 6d 6e 20 |al final| column |
|00003810| 77 61 73 20 6f 6d 69 74 | 74 65 64 20 62 65 6c 6f |was omit|ted belo|
|00003820| 77 20 62 79 20 6c 65 61 | 76 69 6e 67 20 6f 75 74 |w by lea|ving out|
|00003830| 20 74 68 65 20 74 68 69 | 72 64 20 5c 76 65 72 62 | the thi|rd \verb|
|00003840| 7c 26 7c 2e 0a 0a 7b 5c | 73 6d 61 6c 6c 0a 5c 76 ||&|...{\|small.\v|
|00003850| 73 70 61 63 65 7b 2d 31 | 65 78 7d 5c 62 65 67 69 |space{-1|ex}\begi|
|00003860| 6e 7b 65 78 61 6d 70 6c | 65 7d 0a 5c 76 73 70 61 |n{exampl|e}.\vspa|
|00003870| 63 65 7b 30 2e 35 5c 68 | 74 5c 7a 73 74 72 75 74 |ce{0.5\h|t\zstrut|
|00003880| 62 6f 78 7d 0a 5c 62 65 | 67 69 6e 7b 73 79 6e 74 |box}.\be|gin{synt|
|00003890| 61 78 7d 0a 54 59 50 45 | 20 26 20 5c 64 64 65 66 |ax}.TYPE| & \ddef|
|000038a0| 20 26 20 67 69 76 65 6e | 54 20 20 5c 6c 61 6e 67 | & given|T  \lang|
|000038b0| 20 4e 41 4d 45 20 5c 72 | 61 6e 67 20 5c 5c 0a 20 | NAME \r|ang \\. |
|000038c0| 20 20 20 20 26 20 5c 62 | 62 61 72 20 26 20 70 6f |    & \b|bar & po|
|000038d0| 77 65 72 54 20 20 5c 6c | 61 6e 67 20 54 59 50 45 |werT  \l|ang TYPE|
|000038e0| 20 5c 72 61 6e 67 20 5c | 5c 0a 20 20 20 20 20 26 | \rang \|\.     &|
|000038f0| 20 5c 62 62 61 72 20 26 | 20 74 75 70 6c 65 54 20 | \bbar &| tupleT |
|00003900| 20 5c 6c 61 6e 67 20 5c | 73 65 71 20 54 59 50 45 | \lang \|seq TYPE|
|00003910| 20 5c 72 61 6e 67 20 5c | 5c 0a 20 20 20 20 20 26 | \rang \|\.     &|
|00003920| 20 5c 62 62 61 72 20 26 | 20 73 63 68 65 6d 61 54 | \bbar &| schemaT|
|00003930| 20 5c 6c 61 6e 67 20 49 | 44 45 4e 54 20 5c 66 66 | \lang I|DENT \ff|
|00003940| 75 6e 20 54 59 50 45 20 | 5c 72 61 6e 67 20 5c 5c |un TYPE |\rang \\|
|00003950| 0a 20 20 20 20 20 26 20 | 5c 62 62 61 72 20 26 20 |.     & |\bbar & |
|00003960| 63 6c 61 73 73 54 20 20 | 5c 6c 61 6e 67 20 49 44 |classT  |\lang ID|
|00003970| 45 4e 54 20 5c 66 66 75 | 6e 20 43 6c 61 73 73 41 |ENT \ffu|n ClassA|
|00003980| 74 74 72 20 5c 72 61 6e | 67 20 5c 5c 0a 5c 65 6e |ttr \ran|g \\.\en|
|00003990| 64 7b 73 79 6e 74 61 78 | 7d 0a 5c 76 65 72 62 70 |d{syntax|}.\verbp|
|000039a0| 61 72 74 0a 5c 62 65 67 | 69 6e 7b 73 79 6e 74 61 |art.\beg|in{synta|
|000039b0| 78 7d 0a 54 59 50 45 20 | 26 20 5c 64 64 65 66 20 |x}.TYPE |& \ddef |
|000039c0| 26 20 67 69 76 65 6e 54 | 20 20 5c 6c 61 6e 67 20 |& givenT|  \lang |
|000039d0| 4e 41 4d 45 20 5c 72 61 | 6e 67 20 5c 5c 0a 26 20 |NAME \ra|ng \\.& |
|000039e0| 5c 62 62 61 72 20 26 20 | 70 6f 77 65 72 54 20 5c |\bbar & |powerT \|
|000039f0| 6c 61 6e 67 20 54 59 50 | 45 20 5c 72 61 6e 67 20 |lang TYP|E \rang |
|00003a00| 5c 5c 0a 26 20 5c 62 62 | 61 72 20 26 20 74 75 70 |\\.& \bb|ar & tup|
|00003a10| 6c 65 54 20 5c 6c 61 6e | 67 20 5c 73 65 71 20 54 |leT \lan|g \seq T|
|00003a20| 59 50 45 20 5c 72 61 6e | 67 20 5c 5c 0a 26 20 5c |YPE \ran|g \\.& \|
|00003a30| 62 62 61 72 20 26 20 73 | 63 68 65 6d 61 54 20 5c |bbar & s|chemaT \|
|00003a40| 6c 61 6e 67 20 49 44 45 | 4e 54 20 5c 66 66 75 6e |lang IDE|NT \ffun|
|00003a50| 20 54 59 50 45 20 5c 72 | 61 6e 67 20 5c 5c 0a 26 | TYPE \r|ang \\.&|
|00003a60| 20 5c 62 62 61 72 20 26 | 20 63 6c 61 73 73 54 20 | \bbar &| classT |
|00003a70| 5c 6c 61 6e 67 20 49 44 | 45 4e 54 20 5c 66 66 75 |\lang ID|ENT \ffu|
|00003a80| 6e 20 43 6c 61 73 73 41 | 74 74 72 20 5c 72 61 6e |n ClassA|ttr \ran|
|00003a90| 67 0a 5c 65 6e 64 7b 73 | 79 6e 74 61 78 7d 0a 5c |g.\end{s|yntax}.\|
|00003aa0| 65 6e 64 7b 76 65 72 62 | 61 74 69 6d 7d 0a 5c 65 |end{verb|atim}.\e|
|00003ab0| 6e 64 7b 65 78 61 6d 70 | 6c 65 7d 7d 0a 0a 54 68 |nd{examp|le}}..Th|
|00003ac0| 69 73 20 63 61 6e 20 62 | 65 20 63 6f 6d 70 61 72 |is can b|e compar|
|00003ad0| 65 64 20 77 69 74 68 20 | 74 68 65 20 6c 61 79 6f |ed with |the layo|
|00003ae0| 75 74 20 61 64 6f 70 74 | 65 64 20 62 79 20 74 68 |ut adopt|ed by th|
|00003af0| 65 20 55 51 20 5a 20 65 | 64 69 74 6f 72 20 28 76 |e UQ Z e|ditor (v|
|00003b00| 65 72 73 69 6f 6e 20 31 | 29 2e 0a 0a 7b 5c 73 6d |ersion 1|)...{\sm|
|00003b10| 61 6c 6c 0a 5c 76 73 70 | 61 63 65 7b 2d 31 65 78 |all.\vsp|ace{-1ex|
|00003b20| 7d 5c 62 65 67 69 6e 7b | 65 78 61 6d 70 6c 65 7d |}\begin{|example}|
|00003b30| 0a 5c 76 73 70 61 63 65 | 7b 30 2e 35 5c 68 74 5c |.\vspace|{0.5\ht\|
|00003b40| 7a 73 74 72 75 74 62 6f | 78 7d 0a 5c 62 65 67 69 |zstrutbo|x}.\begi|
|00003b50| 6e 7b 7a 65 64 7d 0a 54 | 59 50 45 20 5c 64 64 65 |n{zed}.T|YPE \dde|
|00003b60| 66 20 5c 4d 20 67 69 76 | 65 6e 54 20 20 5c 6c 61 |f \M giv|enT  \la|
|00003b70| 6e 67 20 4e 41 4d 45 20 | 5c 72 61 6e 67 20 5c 5c |ng NAME |\rang \\|
|00003b80| 0a 20 20 20 20 20 5c 62 | 62 61 72 20 70 6f 77 65 |.     \b|bar powe|
|00003b90| 72 54 20 20 5c 6c 61 6e | 67 20 54 59 50 45 20 5c |rT  \lan|g TYPE \|
|00003ba0| 72 61 6e 67 20 5c 5c 0a | 20 20 20 20 20 5c 62 62 |rang \\.|     \bb|
|00003bb0| 61 72 20 74 75 70 6c 65 | 54 20 20 5c 6c 61 6e 67 |ar tuple|T  \lang|
|00003bc0| 20 5c 73 65 71 20 54 59 | 50 45 20 5c 72 61 6e 67 | \seq TY|PE \rang|
|00003bd0| 20 5c 5c 0a 20 20 20 20 | 20 5c 62 62 61 72 20 73 | \\.    | \bbar s|
|00003be0| 63 68 65 6d 61 54 20 5c | 6c 61 6e 67 20 49 44 45 |chemaT \|lang IDE|
|00003bf0| 4e 54 20 5c 66 66 75 6e | 20 54 59 50 45 20 5c 72 |NT \ffun| TYPE \r|
|00003c00| 61 6e 67 20 5c 5c 0a 20 | 20 5c 62 62 61 72 20 63 |ang \\. | \bbar c|
|00003c10| 6c 61 73 73 54 20 20 5c | 6c 61 6e 67 20 49 44 45 |lassT  \|lang IDE|
|00003c20| 4e 54 20 5c 66 66 75 6e | 20 43 6c 61 73 73 41 74 |NT \ffun| ClassAt|
|00003c30| 74 72 20 5c 72 61 6e 67 | 20 5c 4f 0a 5c 65 6e 64 |tr \rang| \O.\end|
|00003c40| 7b 7a 65 64 7d 0a 5c 76 | 65 72 62 70 61 72 74 0a |{zed}.\v|erbpart.|
|00003c50| 5c 62 65 67 69 6e 7b 7a | 65 64 7d 0a 54 59 50 45 |\begin{z|ed}.TYPE|
|00003c60| 20 5c 64 64 65 66 20 5c | 4d 20 67 69 76 65 6e 54 | \ddef \|M givenT|
|00003c70| 20 20 5c 6c 61 6e 67 20 | 4e 41 4d 45 20 5c 72 61 |  \lang |NAME \ra|
|00003c80| 6e 67 20 5c 5c 0a 5c 62 | 62 61 72 20 70 6f 77 65 |ng \\.\b|bar powe|
|00003c90| 72 54 20 5c 6c 61 6e 67 | 20 54 59 50 45 20 5c 72 |rT \lang| TYPE \r|
|00003ca0| 61 6e 67 20 5c 5c 0a 5c | 62 62 61 72 20 74 75 70 |ang \\.\|bbar tup|
|00003cb0| 6c 65 54 20 5c 6c 61 6e | 67 20 5c 73 65 71 20 54 |leT \lan|g \seq T|
|00003cc0| 59 50 45 20 5c 72 61 6e | 67 20 5c 5c 0a 5c 62 62 |YPE \ran|g \\.\bb|
|00003cd0| 61 72 20 73 63 68 65 6d | 61 54 20 5c 6c 61 6e 67 |ar schem|aT \lang|
|00003ce0| 20 49 44 45 4e 54 20 5c | 66 66 75 6e 20 54 59 50 | IDENT \|ffun TYP|
|00003cf0| 45 20 5c 72 61 6e 67 20 | 5c 5c 0a 5c 62 62 61 72 |E \rang |\\.\bbar|
|00003d00| 20 63 6c 61 73 73 54 20 | 5c 6c 61 6e 67 20 49 44 | classT |\lang ID|
|00003d10| 45 4e 54 20 5c 66 66 75 | 6e 20 43 6c 61 73 73 41 |ENT \ffu|n ClassA|
|00003d20| 74 74 72 20 5c 72 61 6e | 67 20 5c 4f 0a 5c 65 6e |ttr \ran|g \O.\en|
|00003d30| 64 7b 7a 65 64 7d 0a 5c | 65 6e 64 7b 76 65 72 62 |d{zed}.\|end{verb|
|00003d40| 61 74 69 6d 7d 0a 5c 65 | 6e 64 7b 65 78 61 6d 70 |atim}.\e|nd{examp|
|00003d50| 6c 65 7d 7d 0a 0a 54 68 | 65 20 7b 5c 74 74 20 73 |le}}..Th|e {\tt s|
|00003d60| 69 64 65 62 79 73 69 64 | 65 7d 20 65 6e 76 69 72 |idebysid|e} envir|
|00003d70| 6f 6e 6d 65 6e 74 20 61 | 6c 6c 6f 77 73 20 61 20 |onment a|llows a |
|00003d80| 64 69 73 70 6c 61 79 20 | 61 73 20 73 68 6f 77 6e |display |as shown|
|00003d90| 20 69 6e 20 74 68 65 0a | 66 69 72 73 74 20 74 77 | in the.|first tw|
|00003da0| 6f 20 63 6f 6c 75 6d 6e | 73 20 62 65 6c 6f 77 20 |o column|s below |
|00003db0| 74 6f 20 62 65 20 70 72 | 6f 64 75 63 65 64 20 66 |to be pr|oduced f|
|00003dc0| 72 6f 6d 20 74 68 65 20 | 74 65 78 74 20 6f 66 20 |rom the |text of |
|00003dd0| 74 68 65 20 74 68 69 72 | 64 20 63 6f 6c 75 6d 6e |the thir|d column|
|00003de0| 2e 0a 4e 6f 74 65 20 74 | 68 65 20 75 73 65 20 6f |..Note t|he use o|
|00003df0| 66 20 74 68 65 20 5c 76 | 65 72 62 7c 5c 63 6f 6d |f the \v|erb|\com|
|00003e00| 6d 65 6e 74 7c 20 63 6f | 6d 6d 61 6e 64 2e 0a 0a |ment| co|mmand...|
|00003e10| 5c 62 65 67 69 6e 7b 65 | 78 61 6d 70 6c 65 7d 0a |\begin{e|xample}.|
|00003e20| 5c 62 65 67 69 6e 7b 73 | 69 64 65 62 79 73 69 64 |\begin{s|idebysid|
|00003e30| 65 7d 0a 5c 62 65 67 69 | 6e 7b 73 63 68 65 6d 61 |e}.\begi|n{schema|
|00003e40| 7d 7b 53 63 68 65 6d 61 | 7d 0a 5c 63 6f 6d 6d 65 |}{Schema|}.\comme|
|00003e50| 6e 74 2a 7b 64 65 63 6c | 61 72 61 74 69 6f 6e 73 |nt*{decl|arations|
|00003e60| 7d 0a 5c 53 54 0a 61 20 | 3c 20 62 20 26 20 5b 7b |}.\ST.a |< b & [{|
|00003e70| 5c 73 66 20 70 72 65 64 | 2d 31 7d 5d 5c 5c 0a 61 |\sf pred|-1}]\\.a|
|00003e80| 61 61 61 61 20 3c 20 62 | 62 62 62 62 20 5c 63 6f |aaaa < b|bbbb \co|
|00003e90| 6d 6d 65 6e 74 7b 70 72 | 65 64 2d 32 7d 0a 5c 65 |mment{pr|ed-2}.\e|
|00003ea0| 6e 64 7b 73 63 68 65 6d | 61 7d 0a 5c 6e 65 78 74 |nd{schem|a}.\next|
|00003eb0| 73 69 64 65 0a 5c 62 65 | 67 69 6e 7b 7a 70 61 72 |side.\be|gin{zpar|
|00003ec0| 7d 0a 54 68 69 73 20 69 | 73 20 61 20 70 61 72 61 |}.This i|s a para|
|00003ed0| 67 72 61 70 68 20 77 68 | 69 63 68 20 68 61 73 20 |graph wh|ich has |
|00003ee0| 74 68 65 20 73 61 6d 65 | 0a 6d 61 72 67 69 6e 73 |the same|.margins|
|00003ef0| 20 61 73 20 74 68 65 20 | 73 74 61 6e 64 61 72 64 | as the |standard|
|00003f00| 20 73 63 68 65 6d 61 73 | 20 64 6f 2e 0a 5c 65 6e | schemas| do..\en|
|00003f10| 64 7b 7a 70 61 72 7d 0a | 5c 65 6e 64 7b 73 69 64 |d{zpar}.|\end{sid|
|00003f20| 65 62 79 73 69 64 65 7d | 0a 5c 76 65 72 62 70 61 |ebyside}|.\verbpa|
|00003f30| 72 74 0a 5c 62 65 67 69 | 6e 7b 73 69 64 65 62 79 |rt.\begi|n{sideby|
|00003f40| 73 69 64 65 7d 0a 5c 62 | 65 67 69 6e 7b 73 63 68 |side}.\b|egin{sch|
|00003f50| 65 6d 61 7d 7b 53 63 68 | 65 6d 61 7d 0a 5c 63 6f |ema}{Sch|ema}.\co|
|00003f60| 6d 6d 65 6e 74 2a 7b 64 | 65 63 6c 61 72 61 74 69 |mment*{d|eclarati|
|00003f70| 6f 6e 73 7d 0a 5c 53 54 | 0a 61 20 3c 20 62 20 5c |ons}.\ST|.a < b \|
|00003f80| 63 6f 6d 6d 65 6e 74 7b | 70 72 65 64 2d 31 7d 20 |comment{|pred-1} |
|00003f90| 5c 5c 0a 61 61 61 61 61 | 20 3c 20 62 62 62 62 62 |\\.aaaaa| < bbbbb|
|00003fa0| 20 5c 63 6f 6d 6d 65 6e | 74 7b 70 72 65 64 2d 32 | \commen|t{pred-2|
|00003fb0| 7d 0a 5c 65 6e 64 7b 73 | 63 68 65 6d 61 7d 0a 5c |}.\end{s|chema}.\|
|00003fc0| 6e 65 78 74 73 69 64 65 | 0a 5c 62 65 67 69 6e 7b |nextside|.\begin{|
|00003fd0| 7a 70 61 72 7d 0a 54 68 | 69 73 20 69 73 20 61 20 |zpar}.Th|is is a |
|00003fe0| 70 61 72 61 67 72 61 70 | 68 20 77 68 69 63 68 20 |paragrap|h which |
|00003ff0| 68 61 73 20 74 68 65 20 | 73 61 6d 65 0a 6d 61 72 |has the |same.mar|
|00004000| 67 69 6e 73 20 61 73 20 | 74 68 65 20 73 74 61 6e |gins as |the stan|
|00004010| 64 61 72 64 20 73 63 68 | 65 6d 61 73 20 64 6f 2e |dard sch|emas do.|
|00004020| 0a 5c 65 6e 64 7b 7a 70 | 61 72 7d 0a 5c 65 6e 64 |.\end{zp|ar}.\end|
|00004030| 7b 73 69 64 65 62 79 73 | 69 64 65 7d 0a 5c 65 6e |{sidebys|ide}.\en|
|00004040| 64 7b 76 65 72 62 61 74 | 69 6d 7d 0a 5c 65 6e 64 |d{verbat|im}.\end|
|00004050| 7b 65 78 61 6d 70 6c 65 | 7d 0a 0a 49 6e 20 66 61 |{example|}..In fa|
|00004060| 63 74 2c 20 74 68 69 73 | 20 65 6e 76 69 72 6f 6e |ct, this| environ|
|00004070| 6d 65 6e 74 20 77 61 73 | 20 75 73 65 64 20 74 68 |ment was| used th|
|00004080| 72 6f 75 67 68 6f 75 74 | 20 74 68 69 73 20 6e 6f |roughout| this no|
|00004090| 74 65 20 74 6f 0a 64 69 | 73 70 6c 61 79 20 74 68 |te to.di|splay th|
|000040a0| 65 20 65 78 61 6d 70 6c | 65 73 20 62 65 73 69 64 |e exampl|es besid|
|000040b0| 65 20 74 68 65 20 72 65 | 71 75 69 72 65 64 20 69 |e the re|quired i|
|000040c0| 6e 70 75 74 20 74 65 78 | 74 2e 0a 49 6e 63 69 64 |nput tex|t..Incid|
|000040d0| 65 6e 74 61 6c 6c 79 2c | 20 74 68 65 20 61 62 6f |entally,| the abo|
|000040e0| 76 65 20 65 78 61 6d 70 | 6c 65 20 73 68 6f 77 73 |ve examp|le shows|
|000040f0| 20 74 68 61 74 20 5c 76 | 65 72 62 7c 73 69 64 65 | that \v|erb|side|
|00004100| 62 79 73 69 64 65 7c 0a | 65 6e 76 69 72 6f 6e 6d |byside|.|environm|
|00004110| 65 6e 74 73 20 63 61 6e | 20 62 65 20 6e 65 73 74 |ents can| be nest|
|00004120| 65 64 3b 20 73 6f 20 77 | 68 61 74 20 74 68 65 20 |ed; so w|hat the |
|00004130| 61 75 74 68 6f 72 20 6f | 66 20 74 68 69 73 20 6e |author o|f this n|
|00004140| 6f 74 65 20 74 79 70 65 | 64 0a 74 6f 20 67 65 74 |ote type|d.to get|
|00004150| 20 74 68 65 20 61 62 6f | 76 65 20 64 69 73 70 6c | the abo|ve displ|
|00004160| 61 79 20 77 61 73 3a 0a | 0a 5c 62 65 67 69 6e 7b |ay was:.|.\begin{|
|00004170| 71 75 6f 74 65 7d 0a 5c | 62 65 67 69 6e 7b 76 65 |quote}.\|begin{ve|
|00004180| 72 62 61 74 69 6d 7d 0a | 5c 62 65 67 69 6e 7b 73 |rbatim}.|\begin{s|
|00004190| 69 64 65 62 79 73 69 64 | 65 7d 0a 20 20 20 20 20 |idebysid|e}.     |
|000041a0| 20 20 20 5c 62 65 67 69 | 6e 7b 73 69 64 65 62 79 |   \begi|n{sideby|
|000041b0| 73 69 64 65 7d 0a 20 20 | 20 20 20 20 20 20 20 20 |side}.  |        |
|000041c0| 20 20 20 20 20 20 2e 2e | 2e 0a 20 20 20 20 20 20 |      ..|..      |
|000041d0| 20 20 5c 6e 65 78 74 73 | 69 64 65 0a 20 20 20 20 |  \nexts|ide.    |
|000041e0| 20 20 20 20 20 20 20 20 | 20 20 20 20 2e 2e 2e 0a |        |    ....|
|000041f0| 20 20 20 20 20 20 20 20 | 5c 65 6e 64 7b 73 69 64 |        |\end{sid|
|00004200| 65 62 79 73 69 64 65 7d | 0a 5c 6e 65 78 74 73 69 |ebyside}|.\nextsi|
|00004210| 64 65 0a 20 20 20 20 20 | 20 20 20 2e 2e 2e 0a 5c |de.     |   ....\|
|00004220| 65 6e 64 7b 73 69 64 65 | 62 79 73 69 64 65 7d 0a |end{side|byside}.|
|00004230| 5c 65 6e 64 7b 76 65 72 | 62 61 74 69 6d 7d 0a 5c |\end{ver|batim}.\|
|00004240| 65 6e 64 7b 71 75 6f 74 | 65 7d 0a 0a 54 68 69 73 |end{quot|e}..This|
|00004250| 20 72 65 73 75 6c 74 65 | 64 20 69 6e 20 74 68 65 | resulte|d in the|
|00004260| 20 66 69 72 73 74 20 74 | 77 6f 20 63 6f 6c 75 6d | first t|wo colum|
|00004270| 6e 73 20 62 65 69 6e 67 | 20 65 71 75 61 6c 6c 79 |ns being| equally|
|00004280| 20 73 70 61 63 65 64 20 | 61 6e 64 0a 74 6f 67 65 | spaced |and.toge|
|00004290| 74 68 65 72 20 74 61 6b | 69 6e 67 20 75 70 20 61 |ther tak|ing up a|
|000042a0| 73 20 6d 75 63 68 20 73 | 70 61 63 65 20 61 73 20 |s much s|pace as |
|000042b0| 74 68 65 20 74 68 69 72 | 64 20 63 6f 6c 75 6d 6e |the thir|d column|
|000042c0| 2e 0a 59 6f 75 20 63 61 | 6e 20 68 61 76 65 20 6d |..You ca|n have m|
|000042d0| 6f 72 65 20 74 68 61 6e | 20 32 20 63 6f 6c 75 6d |ore than| 2 colum|
|000042e0| 6e 73 20 77 69 74 68 6f | 75 74 20 6e 65 73 74 69 |ns witho|ut nesti|
|000042f0| 6e 67 20 62 79 20 73 70 | 65 63 69 66 79 69 6e 67 |ng by sp|ecifying|
|00004300| 20 61 6e 20 6f 70 74 69 | 6f 6e 61 6c 0a 70 61 72 | an opti|onal.par|
|00004310| 61 6d 65 74 65 72 20 74 | 6f 20 5c 76 65 72 62 7c |ameter t|o \verb||
|00004320| 73 69 64 65 62 79 73 69 | 64 65 7c 2e 20 20 46 6f |sidebysi|de|.  Fo|
|00004330| 72 20 65 78 61 6d 70 6c | 65 2c 20 74 68 65 20 64 |r exampl|e, the d|
|00004340| 69 73 70 6c 61 79 20 62 | 65 6c 6f 77 20 68 61 73 |isplay b|elow has|
|00004350| 20 74 68 72 65 65 0a 65 | 71 75 61 6c 6c 79 20 73 | three.e|qually s|
|00004360| 70 61 63 65 64 20 63 6f | 6c 75 6d 6e 73 20 6f 62 |paced co|lumns ob|
|00004370| 74 61 69 6e 65 64 20 75 | 73 69 6e 67 20 5c 76 65 |tained u|sing \ve|
|00004380| 72 62 7c 5c 62 65 67 69 | 6e 7b 73 69 64 65 62 79 |rb|\begi|n{sideby|
|00004390| 73 69 64 65 7d 5b 33 5d | 7c 2e 0a 5c 62 65 67 69 |side}[3]||..\begi|
|000043a0| 6e 7b 73 69 64 65 62 79 | 73 69 64 65 7d 5b 33 5d |n{sideby|side}[3]|
|000043b0| 0a 5c 62 65 67 69 6e 7b | 73 63 68 65 6d 61 7d 7b |.\begin{|schema}{|
|000043c0| 42 69 72 74 68 64 61 79 | 42 6f 6f 6b 7d 0a 20 20 |Birthday|Book}.  |
|000043d0| 20 20 6b 6e 6f 77 6e 3a | 20 5c 70 73 65 74 20 4e |  known:| \pset N|
|000043e0| 41 4d 45 20 5c 5c 0a 20 | 20 20 20 62 69 72 74 68 |AME \\. |   birth|
|000043f0| 64 61 79 3a 20 4e 41 4d | 45 20 5c 70 66 75 6e 20 |day: NAM|E \pfun |
|00004400| 44 41 54 45 0a 5c 53 54 | 0a 20 20 20 20 6b 6e 6f |DATE.\ST|.    kno|
|00004410| 77 6e 20 3d 20 5c 64 6f | 6d 20 62 69 72 74 68 64 |wn = \do|m birthd|
|00004420| 61 79 0a 5c 65 6e 64 7b | 73 63 68 65 6d 61 7d 0a |ay.\end{|schema}.|
|00004430| 5c 6e 65 78 74 73 69 64 | 65 0a 5c 62 65 67 69 6e |\nextsid|e.\begin|
|00004440| 7b 73 63 68 65 6d 61 7d | 7b 42 69 72 74 68 64 61 |{schema}|{Birthda|
|00004450| 79 42 6f 6f 6b 7d 0a 20 | 20 20 20 6b 6e 6f 77 6e |yBook}. |   known|
|00004460| 3a 20 5c 70 73 65 74 20 | 4e 41 4d 45 20 5c 5c 0a |: \pset |NAME \\.|
|00004470| 20 20 20 20 62 69 72 74 | 68 64 61 79 3a 20 4e 41 |    birt|hday: NA|
|00004480| 4d 45 20 5c 70 66 75 6e | 20 44 41 54 45 0a 5c 53 |ME \pfun| DATE.\S|
|00004490| 54 0a 20 20 20 20 6b 6e | 6f 77 6e 20 3d 20 5c 64 |T.    kn|own = \d|
|000044a0| 6f 6d 20 62 69 72 74 68 | 64 61 79 0a 5c 65 6e 64 |om birth|day.\end|
|000044b0| 7b 73 63 68 65 6d 61 7d | 0a 5c 6e 65 78 74 73 69 |{schema}|.\nextsi|
|000044c0| 64 65 0a 5c 62 65 67 69 | 6e 7b 7a 70 61 72 7d 0a |de.\begi|n{zpar}.|
|000044d0| 44 6f 6e 27 74 20 67 65 | 74 20 63 61 72 72 69 65 |Don't ge|t carrie|
|000044e0| 64 20 61 77 61 79 20 77 | 69 74 68 20 5c 76 65 72 |d away w|ith \ver|
|000044f0| 62 7c 73 69 64 65 62 79 | 73 69 64 65 7c 0a 6c 69 |b|sideby|side|.li|
|00004500| 6b 65 20 74 68 69 73 20 | 65 78 61 6d 70 6c 65 20 |ke this |example |
|00004510| 64 6f 65 73 2e 0a 5c 65 | 6e 64 7b 7a 70 61 72 7d |does..\e|nd{zpar}|
|00004520| 0a 5c 65 6e 64 7b 73 69 | 64 65 62 79 73 69 64 65 |.\end{si|debyside|
|00004530| 7d 0a 5c 6e 65 77 70 61 | 67 65 0a 5c 73 65 63 74 |}.\newpa|ge.\sect|
|00004540| 69 6f 6e 7b 53 74 79 6c | 65 20 50 61 72 61 6d 65 |ion{Styl|e Parame|
|00004550| 74 65 72 73 7d 0a 0a 5c | 62 65 67 69 6e 7b 64 65 |ters}..\|begin{de|
|00004560| 73 63 72 69 70 74 69 6f | 6e 7d 0a 5c 69 74 65 6d |scriptio|n}.\item|
|00004570| 5b 5c 74 74 5c 73 74 72 | 69 6e 67 5c 7a 65 64 69 |[\tt\str|ing\zedi|
|00004580| 6e 64 65 6e 74 5d 20 54 | 68 65 20 28 68 6f 72 69 |ndent] T|he (hori|
|00004590| 7a 6f 6e 74 61 6c 29 20 | 69 6e 64 65 6e 74 61 74 |zontal) |indentat|
|000045a0| 69 6f 6e 20 66 6f 72 20 | 6d 61 74 68 65 6d 61 74 |ion for |mathemat|
|000045b0| 69 63 61 6c 20 74 65 78 | 74 2e 0a 09 42 79 20 64 |ical tex|t...By d|
|000045c0| 65 66 61 75 6c 74 2c 20 | 74 68 69 73 20 69 73 20 |efault, |this is |
|000045d0| 74 68 65 20 73 61 6d 65 | 20 61 73 20 5c 76 65 72 |the same| as \ver|
|000045e0| 62 7c 5c 6c 65 66 74 6d | 61 72 67 69 6e 69 7c 2c |b|\leftm|argini|,|
|000045f0| 20 74 68 65 20 69 6e 64 | 65 6e 74 61 74 69 6f 6e | the ind|entation|
|00004600| 0a 09 75 73 65 64 20 66 | 6f 72 20 6c 69 73 74 20 |..used f|or list |
|00004610| 65 6e 76 69 72 6f 6e 6d | 65 6e 74 73 2e 0a 5c 69 |environm|ents..\i|
|00004620| 74 65 6d 5b 5c 74 74 5c | 73 74 72 69 6e 67 5c 7a |tem[\tt\|string\z|
|00004630| 65 64 6c 65 66 74 73 65 | 70 5d 20 54 68 65 20 28 |edleftse|p] The (|
|00004640| 68 6f 72 69 7a 6f 6e 74 | 61 6c 29 20 73 70 61 63 |horizont|al) spac|
|00004650| 65 20 62 65 74 77 65 65 | 6e 20 74 68 65 20 76 65 |e betwee|n the ve|
|00004660| 72 74 69 63 61 6c 20 6c | 69 6e 65 20 6f 6e 20 74 |rtical l|ine on t|
|00004670| 68 65 20 6c 65 66 74 0a | 09 6f 66 20 73 63 68 65 |he left.|.of sche|
|00004680| 6d 61 73 2c 20 65 74 63 | 2e 2c 20 61 6e 64 20 74 |mas, etc|., and t|
|00004690| 68 65 20 6d 61 74 68 73 | 20 69 6e 73 69 64 65 2e |he maths| inside.|
|000046a0| 20 54 68 65 20 64 65 66 | 61 75 6c 74 20 69 73 20 | The def|ault is |
|000046b0| 31 65 6d 2e 0a 5c 69 74 | 65 6d 5b 5c 74 74 5c 73 |1em..\it|em[\tt\s|
|000046c0| 74 72 69 6e 67 5c 7a 65 | 64 74 61 62 5d 20 54 68 |tring\ze|dtab] Th|
|000046d0| 65 20 75 6e 69 74 20 6f | 66 20 69 6e 64 65 6e 74 |e unit o|f indent|
|000046e0| 61 74 69 6f 6e 20 75 73 | 65 64 20 62 79 20 5c 76 |ation us|ed by \v|
|000046f0| 65 72 62 7c 5c 74 7c 2e | 20 54 68 65 20 64 65 66 |erb|\t|.| The def|
|00004700| 61 75 6c 74 0a 09 69 73 | 20 32 65 6d 2e 0a 5c 69 |ault..is| 2em..\i|
|00004710| 74 65 6d 5b 5c 74 74 5c | 73 74 72 69 6e 67 5c 7a |tem[\tt\|string\z|
|00004720| 65 64 62 61 72 5d 20 54 | 68 65 20 6c 65 6e 67 74 |edbar] T|he lengt|
|00004730| 68 20 6f 66 20 74 68 65 | 20 68 6f 72 69 7a 6f 6e |h of the| horizon|
|00004740| 74 61 6c 20 62 61 72 20 | 69 6e 20 74 68 65 20 6d |tal bar |in the m|
|00004750| 69 64 64 6c 65 20 6f 66 | 20 61 0a 09 73 63 68 65 |iddle of| a..sche|
|00004760| 6d 61 2e 20 54 68 65 20 | 64 65 66 61 75 6c 74 20 |ma. The |default |
|00004770| 69 73 20 38 65 6d 2e 0a | 5c 69 74 65 6d 5b 5c 74 |is 8em..|\item[\t|
|00004780| 74 5c 73 74 72 69 6e 67 | 5c 6c 65 66 74 73 63 68 |t\string|\leftsch|
|00004790| 65 6d 61 73 5d 20 41 20 | 64 65 63 6c 61 72 61 74 |emas] A |declarat|
|000047a0| 69 6f 6e 20 77 68 69 63 | 68 20 6d 61 6b 65 73 20 |ion whic|h makes |
|000047b0| 73 63 68 65 6d 61 20 6e | 61 6d 65 73 20 62 65 0a |schema n|ames be.|
|000047c0| 09 73 65 74 20 66 6c 75 | 73 68 20 6c 65 66 74 2e |.set flu|sh left.|
|000047d0| 20 55 73 65 20 69 74 20 | 69 6e 20 74 68 65 20 64 | Use it |in the d|
|000047e0| 6f 63 75 6d 65 6e 74 20 | 70 72 65 61 6d 62 6c 65 |ocument |preamble|
|000047f0| 2e 0a 5c 69 74 65 6d 5b | 5c 74 74 5c 73 74 72 69 |..\item[|\tt\stri|
|00004800| 6e 67 5c 7a 65 64 6c 69 | 6e 65 74 68 69 63 6b 6e |ng\zedli|nethickn|
|00004810| 65 73 73 5d 20 54 68 65 | 20 74 68 69 63 6b 6e 65 |ess] The| thickne|
|00004820| 73 73 20 6f 66 20 74 68 | 65 20 6c 69 6e 65 73 20 |ss of th|e lines |
|00004830| 74 68 61 74 20 6d 61 6b | 65 20 75 70 0a 09 73 63 |that mak|e up..sc|
|00004840| 68 65 6d 61 20 61 6e 64 | 20 63 6c 61 73 73 20 62 |hema and| class b|
|00004850| 6f 78 65 73 2e 20 20 59 | 6f 75 20 63 61 6e 20 63 |oxes.  Y|ou can c|
|00004860| 68 61 6e 67 65 20 74 68 | 65 20 74 68 69 63 6b 6e |hange th|e thickn|
|00004870| 65 73 73 0a 09 77 69 74 | 68 20 61 20 63 6f 6d 6d |ess..wit|h a comm|
|00004880| 61 6e 64 20 73 75 63 68 | 20 61 73 20 5c 76 65 72 |and such| as \ver|
|00004890| 62 7c 5c 7a 65 64 6c 69 | 6e 65 74 68 69 63 6b 6e |b|\zedli|nethickn|
|000048a0| 65 73 73 3d 30 2e 31 70 | 74 7c 2e 20 20 54 68 69 |ess=0.1p|t|.  Thi|
|000048b0| 73 20 6d 61 79 0a 09 62 | 65 20 75 73 65 66 75 6c |s may..b|e useful|
|000048c0| 20 69 66 20 79 6f 75 20 | 61 72 65 20 63 72 65 61 | if you |are crea|
|000048d0| 74 69 6e 67 20 6f 76 65 | 72 68 65 61 64 20 73 6c |ting ove|rhead sl|
|000048e0| 69 64 65 73 2e 0a 09 5c | 62 65 67 69 6e 7b 64 65 |ides...\|begin{de|
|000048f0| 73 63 72 69 70 74 69 6f | 6e 7d 0a 09 5c 6d 61 6b |scriptio|n}..\mak|
|00004900| 65 61 74 6c 65 74 74 65 | 72 0a 09 5c 69 74 65 6d |eatlette|r..\item|
|00004910| 5b 30 2e 31 70 74 5d 20 | 5c 7a 65 64 6c 69 6e 65 |[0.1pt] |\zedline|
|00004920| 74 68 69 63 6b 6e 65 73 | 73 3d 30 2e 31 70 74 0a |thicknes|s=0.1pt.|
|00004930| 09 09 7e 5c 68 62 6f 78 | 20 74 6f 20 34 63 6d 7b |..~\hbox| to 4cm{|
|00004940| 5c 7a 40 68 72 75 6c 65 | 66 69 6c 6c 7d 0a 09 5c |\z@hrule|fill}..\|
|00004950| 69 74 65 6d 5b 30 2e 34 | 70 74 5d 20 5c 7a 65 64 |item[0.4|pt] \zed|
|00004960| 6c 69 6e 65 74 68 69 63 | 6b 6e 65 73 73 3d 30 2e |linethic|kness=0.|
|00004970| 34 70 74 0a 09 09 7e 5c | 68 62 6f 78 20 74 6f 20 |4pt...~\|hbox to |
|00004980| 34 63 6d 7b 5c 7a 40 68 | 72 75 6c 65 66 69 6c 6c |4cm{\z@h|rulefill|
|00004990| 7d 7e 7e 7e 28 54 68 65 | 20 64 65 66 61 75 6c 74 |}~~~(The| default|
|000049a0| 29 0a 09 5c 69 74 65 6d | 5b 5c 68 70 68 61 6e 74 |)..\item|[\hphant|
|000049b0| 6f 6d 7b 30 2e 7d 31 70 | 74 5d 20 5c 7a 65 64 6c |om{0.}1p|t] \zedl|
|000049c0| 69 6e 65 74 68 69 63 6b | 6e 65 73 73 3d 31 70 74 |inethick|ness=1pt|
|000049d0| 0a 09 09 7e 5c 68 62 6f | 78 20 74 6f 20 34 63 6d |...~\hbo|x to 4cm|
|000049e0| 7b 5c 7a 40 68 72 75 6c | 65 66 69 6c 6c 7d 0a 09 |{\z@hrul|efill}..|
|000049f0| 5c 65 6e 64 7b 64 65 73 | 63 72 69 70 74 69 6f 6e |\end{des|cription|
|00004a00| 7d 0a 5c 69 74 65 6d 5b | 5c 74 74 5c 73 74 72 69 |}.\item[|\tt\stri|
|00004a10| 6e 67 5c 62 61 73 65 6c | 69 6e 65 73 74 72 65 74 |ng\basel|inestret|
|00004a20| 63 68 5d 20 54 68 65 20 | 73 70 61 63 69 6e 67 20 |ch] The |spacing |
|00004a30| 66 6f 72 20 74 68 65 20 | 74 65 78 74 20 70 61 72 |for the |text par|
|00004a40| 74 20 6f 66 20 79 6f 75 | 72 0a 09 64 6f 63 75 6d |t of you|r..docum|
|00004a50| 65 6e 74 2e 20 20 49 74 | 20 64 6f 65 73 6e 27 74 |ent.  It| doesn't|
|00004a60| 20 63 68 61 6e 67 65 20 | 74 68 65 20 73 70 61 63 | change |the spac|
|00004a70| 69 6e 67 20 77 69 74 68 | 69 6e 20 5a 20 65 6e 76 |ing with|in Z env|
|00004a80| 69 72 6f 6e 6d 65 6e 74 | 73 2e 20 20 49 74 27 73 |ironment|s.  It's|
|00004a90| 0a 09 64 65 66 61 75 6c | 74 20 76 61 6c 75 65 20 |..defaul|t value |
|00004aa0| 69 73 20 31 2e 20 20 41 | 20 63 6f 6d 6d 61 6e 64 |is 1.  A| command|
|00004ab0| 20 73 75 63 68 20 61 73 | 20 5c 76 65 72 62 7c 5c | such as| \verb|\|
|00004ac0| 64 65 66 5c 62 61 73 65 | 6c 69 6e 65 73 74 72 65 |def\base|linestre|
|00004ad0| 74 63 68 7b 32 7d 7c 0a | 09 77 69 6c 6c 20 6d 61 |tch{2}|.|.will ma|
|00004ae0| 6b 65 20 79 6f 75 72 20 | 74 65 78 74 20 64 6f 75 |ke your |text dou|
|00004af0| 62 6c 65 20 73 70 61 63 | 65 64 2c 20 62 75 74 20 |ble spac|ed, but |
|00004b00| 6e 6f 74 20 79 6f 75 72 | 20 5a 20 65 6e 76 69 72 |not your| Z envir|
|00004b10| 6f 6e 6d 65 6e 74 73 2e | 0a 5c 69 74 65 6d 5b 5c |onments.|.\item[\|
|00004b20| 74 74 5c 73 74 72 69 6e | 67 5c 7a 65 64 62 61 73 |tt\strin|g\zedbas|
|00004b30| 65 6c 69 6e 65 73 74 72 | 65 74 63 68 5d 20 54 68 |elinestr|etch] Th|
|00004b40| 65 20 73 70 61 63 69 6e | 67 20 66 6f 72 20 74 68 |e spacin|g for th|
|00004b50| 65 20 5a 20 65 6e 76 69 | 72 6f 6e 6d 65 6e 74 0a |e Z envi|ronment.|
|00004b60| 09 70 61 72 74 20 6f 66 | 20 79 6f 75 72 20 64 6f |.part of| your do|
|00004b70| 63 75 6d 65 6e 74 2e 20 | 20 49 74 27 73 20 64 65 |cument. | It's de|
|00004b80| 66 61 75 6c 74 20 76 61 | 6c 75 65 20 69 73 20 31 |fault va|lue is 1|
|00004b90| 2e 0a 5c 69 74 65 6d 5b | 5c 74 74 5c 73 74 72 69 |..\item[|\tt\stri|
|00004ba0| 6e 67 5c 7a 65 64 73 69 | 7a 65 5d 20 54 68 65 20 |ng\zedsi|ze] The |
|00004bb0| 73 69 7a 65 20 6f 66 20 | 74 68 65 20 6d 61 74 65 |size of |the mate|
|00004bc0| 72 69 61 6c 20 77 69 74 | 68 69 6e 20 74 68 65 20 |rial wit|hin the |
|00004bd0| 5a 0a 09 70 61 72 74 20 | 6f 66 20 79 6f 75 72 20 |Z..part |of your |
|00004be0| 64 6f 63 75 6d 65 6e 74 | 2e 20 49 74 20 64 6f 65 |document|. It doe|
|00004bf0| 73 6e 27 74 20 61 66 66 | 65 63 74 20 74 68 65 20 |sn't aff|ect the |
|00004c00| 72 65 6d 61 69 6e 64 65 | 72 20 6f 66 20 79 6f 75 |remainde|r of you|
|00004c10| 72 20 64 6f 63 75 6d 65 | 6e 74 2e 0a 09 46 6f 72 |r docume|nt...For|
|00004c20| 20 65 78 61 6d 70 6c 65 | 2c 20 5c 76 65 72 62 7c | example|, \verb||
|00004c30| 5c 7a 65 64 73 69 7a 65 | 7b 5c 6c 61 72 67 65 7d |\zedsize|{\large}|
|00004c40| 7c 20 77 69 6c 6c 20 67 | 69 76 65 20 79 6f 75 20 || will g|ive you |
|00004c50| 6c 61 72 67 65 20 5a 20 | 73 79 6d 62 6f 6c 73 0a |large Z |symbols.|
|00004c60| 09 61 6e 64 20 65 71 75 | 61 74 69 6f 6e 73 20 62 |.and equ|ations b|
|00004c70| 75 74 20 77 69 6c 6c 20 | 6e 6f 74 20 61 66 66 65 |ut will |not affe|
|00004c80| 63 74 20 74 68 65 20 73 | 69 7a 65 20 6f 66 20 74 |ct the s|ize of t|
|00004c90| 68 65 20 73 75 72 72 6f | 75 6e 64 69 6e 67 20 74 |he surro|unding t|
|00004ca0| 65 78 74 2e 0a 5c 69 74 | 65 6d 5b 5c 74 74 5c 73 |ext..\it|em[\tt\s|
|00004cb0| 74 72 69 6e 67 5c 7a 65 | 64 63 6f 72 6e 65 72 68 |tring\ze|dcornerh|
|00004cc0| 65 69 67 68 74 5d 20 54 | 68 65 20 68 65 69 67 68 |eight] T|he heigh|
|00004cd0| 74 20 6f 66 20 60 63 6f | 72 6e 65 72 73 27 20 74 |t of `co|rners' t|
|00004ce0| 68 61 74 20 63 61 6e 20 | 62 65 20 70 6c 61 63 65 |hat can |be place|
|00004cf0| 64 0a 09 6f 6e 20 74 68 | 65 20 72 69 67 68 74 20 |d..on th|e right |
|00004d00| 68 61 6e 64 20 73 69 64 | 65 20 6f 66 20 74 68 65 |hand sid|e of the|
|00004d10| 20 74 6f 70 20 61 6e 64 | 20 62 6f 74 74 6f 6d 20 | top and| bottom |
|00004d20| 6c 69 6e 65 73 20 6f 66 | 20 73 63 68 65 6d 61 20 |lines of| schema |
|00004d30| 61 6e 64 20 63 6c 61 73 | 73 0a 09 62 6f 78 65 73 |and clas|s..boxes|
|00004d40| 2e 20 20 54 68 65 20 64 | 65 66 61 75 6c 74 20 69 |.  The d|efault i|
|00004d50| 73 20 30 65 6d 20 28 69 | 2e 65 2e 20 6e 6f 20 63 |s 0em (i|.e. no c|
|00004d60| 6f 72 6e 65 72 73 29 2e | 0a 5c 65 6e 64 7b 64 65 |orners).|.\end{de|
|00004d70| 73 63 72 69 70 74 69 6f | 6e 7d 0a 0a 5c 73 65 63 |scriptio|n}..\sec|
|00004d80| 74 69 6f 6e 7b 53 79 6d | 62 6f 6c 73 7d 0a 0a 4d |tion{Sym|bols}..M|
|00004d90| 75 6c 74 69 2d 6c 65 74 | 74 65 72 20 69 64 65 6e |ulti-let|ter iden|
|00004da0| 74 69 66 69 65 72 73 20 | 68 61 76 65 20 62 65 65 |tifiers |have bee|
|00004db0| 6e 20 63 68 61 6e 67 65 | 64 20 74 6f 20 6c 6f 6f |n change|d to loo|
|00004dc0| 6b 0a 62 65 74 74 65 72 | 20 74 68 61 6e 20 74 68 |k.better| than th|
|00004dd0| 65 79 20 64 6f 20 77 69 | 74 68 20 76 61 6e 69 6c |ey do wi|th vanil|
|00004de0| 6c 61 20 5c 4c 61 54 65 | 58 3a 20 69 6e 73 74 65 |la \LaTe|X: inste|
|00004df0| 61 64 20 6f 66 0a 24 5c | 6d 69 74 20 73 70 65 63 |ad of.$\|mit spec|
|00004e00| 69 66 69 63 61 74 69 6f | 6e 73 24 2c 20 79 6f 75 |ificatio|ns$, you|
|00004e10| 20 67 65 74 20 24 73 70 | 65 63 69 66 69 63 61 74 | get $sp|ecificat|
|00004e20| 69 6f 6e 73 24 2e 0a 54 | 68 65 20 6c 65 74 74 65 |ions$..T|he lette|
|00004e30| 72 73 20 68 61 76 65 6e | 27 74 20 62 65 65 6e 20 |rs haven|'t been |
|00004e40| 73 70 72 65 61 64 20 61 | 70 61 72 74 2c 20 61 6e |spread a|part, an|
|00004e50| 64 20 74 68 65 0a 6c 69 | 67 61 74 75 72 65 20 24 |d the.li|gature $|
|00004e60| 66 69 24 20 68 61 73 20 | 62 65 65 6e 20 75 73 65 |fi$ has |been use|
|00004e70| 64 2e 0a 0a 41 6c 6d 6f | 73 74 20 61 6c 6c 20 6f |d...Almo|st all o|
|00004e80| 66 20 74 68 65 20 6d 61 | 74 68 65 6d 61 74 69 63 |f the ma|thematic|
|00004e90| 61 6c 20 73 79 6d 62 6f | 6c 73 20 6f 66 20 5c 4c |al symbo|ls of \L|
|00004ea0| 61 54 65 58 5c 20 63 61 | 6e 20 62 65 20 75 73 65 |aTeX\ ca|n be use|
|00004eb0| 64 3b 0a 73 6f 6d 65 20 | 68 61 76 65 20 62 65 65 |d;.some |have bee|
|00004ec0| 6e 20 72 65 64 65 66 69 | 6e 65 64 2d 2d 2d 75 73 |n redefi|ned---us|
|00004ed0| 75 61 6c 6c 79 20 74 6f | 20 66 69 78 20 74 68 65 |ually to| fix the|
|00004ee0| 20 73 70 61 63 69 6e 67 | 20 73 6f 20 74 68 61 74 | spacing| so that|
|00004ef0| 20 69 74 20 69 73 0a 73 | 75 69 74 61 62 6c 65 20 | it is.s|uitable |
|00004f00| 66 6f 72 20 5a 20 73 70 | 65 63 69 66 69 63 61 74 |for Z sp|ecificat|
|00004f10| 69 6f 6e 73 2e 0a 54 68 | 65 20 63 6f 6d 6d 61 6e |ions..Th|e comman|
|00004f20| 64 73 20 66 6f 72 20 6f | 62 74 61 69 6e 69 6e 67 |ds for o|btaining|
|00004f30| 20 61 64 64 69 74 69 6f | 6e 61 6c 20 73 79 6d 62 | additio|nal symb|
|00004f40| 6f 6c 73 20 61 72 65 20 | 6c 69 73 74 65 64 20 62 |ols are |listed b|
|00004f50| 65 6c 6f 77 2e 0a 53 6f | 6d 65 74 69 6d 65 73 20 |elow..So|metimes |
|00004f60| 6d 6f 72 65 20 74 68 61 | 6e 20 6f 6e 65 20 63 6f |more tha|n one co|
|00004f70| 6d 6d 61 6e 64 20 6d 61 | 79 20 70 72 6f 64 75 63 |mmand ma|y produc|
|00004f80| 65 20 61 20 73 79 6d 62 | 6f 6c 20 79 6f 75 0a 72 |e a symb|ol you.r|
|00004f90| 65 71 75 69 72 65 2e 20 | 20 59 6f 75 20 73 68 6f |equire. | You sho|
|00004fa0| 75 6c 64 20 75 73 65 20 | 74 68 65 20 6f 6e 65 20 |uld use |the one |
|00004fb0| 74 68 61 74 20 73 65 65 | 6d 73 20 74 6f 20 62 65 |that see|ms to be|
|00004fc0| 20 64 65 73 69 67 6e 65 | 64 20 66 6f 72 20 74 68 | designe|d for th|
|00004fd0| 65 0a 63 6f 6e 74 65 78 | 74 20 79 6f 75 20 68 61 |e.contex|t you ha|
|00004fe0| 76 65 20 69 6e 20 6d 69 | 6e 64 2e 20 20 54 68 69 |ve in mi|nd.  Thi|
|00004ff0| 73 20 69 73 20 62 65 63 | 61 75 73 65 20 74 68 65 |s is bec|ause the|
|00005000| 20 73 70 61 63 69 6e 67 | 20 61 72 6f 75 6e 64 20 | spacing| around |
|00005010| 28 61 6e 64 20 73 69 7a | 65 20 6f 66 29 0a 73 79 |(and siz|e of).sy|
|00005020| 6d 62 6f 6c 73 20 68 61 | 73 20 62 65 65 6e 20 63 |mbols ha|s been c|
|00005030| 68 6f 73 65 6e 20 66 6f | 72 20 74 68 65 69 72 20 |hosen fo|r their |
|00005040| 74 79 70 69 63 61 6c 20 | 63 6f 6e 74 65 78 74 2e |typical |context.|
|00005050| 0a 0a 54 68 72 6f 75 67 | 68 6f 75 74 20 74 68 65 |..Throug|hout the|
|00005060| 20 6c 69 66 65 74 69 6d | 65 20 6f 66 20 74 68 65 | lifetim|e of the|
|00005070| 73 65 20 6d 61 63 72 6f | 73 20 61 20 6e 75 6d 62 |se macro|s a numb|
|00005080| 65 72 20 6f 66 20 61 6c | 74 65 72 6e 61 74 65 20 |er of al|ternate |
|00005090| 63 6f 6e 74 72 6f 6c 0a | 73 65 71 75 65 6e 63 65 |control.|sequence|
|000050a0| 73 20 66 6f 72 20 61 6e | 79 20 73 79 6d 62 6f 6c |s for an|y symbol|
|000050b0| 20 6d 61 79 20 68 61 76 | 65 20 65 78 69 73 74 65 | may hav|e existe|
|000050c0| 64 2e 20 20 41 20 6c 69 | 73 74 20 6f 66 20 61 6c |d.  A li|st of al|
|000050d0| 69 61 73 65 73 20 68 61 | 73 20 62 65 65 6e 0a 73 |iases ha|s been.s|
|000050e0| 65 74 20 75 70 20 73 6f | 20 74 68 61 74 20 6f 6c |et up so| that ol|
|000050f0| 64 20 63 6f 6d 6d 61 6e | 64 73 20 6d 61 79 20 73 |d comman|ds may s|
|00005100| 74 69 6c 6c 20 62 65 20 | 75 73 65 64 2e 20 20 49 |till be |used.  I|
|00005110| 74 20 69 73 0a 72 65 63 | 6f 6d 6d 65 6e 64 65 64 |t is.rec|ommended|
|00005120| 20 68 6f 77 65 76 65 72 | 20 74 68 61 74 20 79 6f | however| that yo|
|00005130| 75 20 73 74 69 63 6b 20 | 74 6f 20 74 68 65 20 72 |u stick |to the r|
|00005140| 65 63 6f 6d 6d 65 6e 64 | 65 64 20 63 6f 6d 6d 61 |ecommend|ed comma|
|00005150| 6e 64 0a 6e 61 6d 65 73 | 20 66 6f 72 20 73 79 6d |nd.names| for sym|
|00005160| 62 6f 6c 73 20 61 73 20 | 74 68 65 73 65 20 6e 61 |bols as |these na|
|00005170| 6d 65 73 20 6d 61 79 20 | 62 65 20 73 75 70 70 6f |mes may |be suppo|
|00005180| 72 74 65 64 20 62 79 20 | 6f 74 68 65 72 20 74 6f |rted by |other to|
|00005190| 6f 6c 73 2e 0a 57 69 74 | 68 69 6e 20 74 68 65 20 |ols..Wit|hin the |
|000051a0| 74 61 62 6c 65 20 62 65 | 6c 6f 77 20 6e 6f 6e 2d |table be|low non-|
|000051b0| 72 65 63 6f 6d 6d 65 6e | 64 65 64 20 61 6c 69 61 |recommen|ded alia|
|000051c0| 73 65 73 20 61 72 65 20 | 73 75 72 72 6f 75 6e 64 |ses are |surround|
|000051d0| 65 64 20 62 79 0a 62 72 | 61 63 6b 65 74 73 2c 20 |ed by.br|ackets, |
|000051e0| 65 2e 67 2e 2c 20 5c 76 | 65 72 62 7c 28 5c 70 6f |e.g., \v|erb|(\po|
|000051f0| 77 65 72 29 7c 2e 0a 5c | 74 68 72 65 65 63 6f 6c |wer)|..\|threecol|
|00005200| 75 6d 6e 0a 5c 73 65 74 | 63 6f 75 6e 74 65 72 7b |umn.\set|counter{|
|00005210| 73 65 63 6e 75 6d 64 65 | 70 74 68 7d 7b 32 7d 0a |secnumde|pth}{2}.|
|00005220| 5c 7a 65 64 69 6e 64 65 | 6e 74 3d 30 2e 32 5c 7a |\zedinde|nt=0.2\z|
|00005230| 65 64 69 6e 64 65 6e 74 | 0a 5c 73 75 62 73 65 63 |edindent|.\subsec|
|00005240| 74 69 6f 6e 7b 53 70 65 | 63 69 61 6c 20 5a 20 4e |tion{Spe|cial Z N|
|00005250| 6f 74 61 74 69 6f 6e 7d | 0a 5c 76 73 70 61 63 65 |otation}|.\vspace|
|00005260| 2a 7b 2d 30 2e 35 65 78 | 7d 0a 5c 73 75 62 73 75 |*{-0.5ex|}.\subsu|
|00005270| 62 73 65 63 74 69 6f 6e | 7b 4e 75 6d 62 65 72 73 |bsection|{Numbers|
|00005280| 7d 0a 5c 76 73 70 61 63 | 65 2a 7b 2d 32 2e 35 65 |}.\vspac|e*{-2.5e|
|00005290| 78 7d 0a 5c 62 65 67 69 | 6e 7b 73 79 6d 62 6f 6c |x}.\begi|n{symbol|
|000052a0| 73 7d 0a 5c 6e 61 74 20 | 26 20 5c 76 65 72 62 27 |s}.\nat |& \verb'|
|000052b0| 20 5c 6e 61 74 27 20 5c | 5c 0a 5c 6e 61 74 6f 6e | \nat' \|\.\naton|
|000052c0| 65 20 26 20 5c 76 65 72 | 62 27 20 5c 6e 61 74 6f |e & \ver|b' \nato|
|000052d0| 6e 65 20 28 5c 6e 70 6c | 75 73 29 27 20 5c 5c 0a |ne (\npl|us)' \\.|
|000052e0| 5c 69 6e 74 65 67 65 72 | 20 26 20 5c 76 65 72 62 |\integer| & \verb|
|000052f0| 27 20 5c 69 6e 74 65 67 | 65 72 20 28 5c 6e 75 6d |' \integ|er (\num|
|00005300| 29 27 20 5c 5c 0a 5c 72 | 65 61 6c 20 26 20 5c 76 |)' \\.\r|eal & \v|
|00005310| 65 72 62 27 20 5c 72 65 | 61 6c 27 20 5c 5c 0a 5c |erb' \re|al' \\.\|
|00005320| 64 69 76 7e 5c 6d 6f 64 | 20 26 20 5c 76 65 72 62 |div~\mod| & \verb|
|00005330| 27 20 5c 64 69 76 20 5c | 6d 6f 64 27 20 5c 5c 0a |' \div \|mod' \\.|
|00005340| 69 5e 6e 20 26 20 5c 76 | 65 72 62 27 20 69 5e 6e |i^n & \v|erb' i^n|
|00005350| 20 69 5c 65 78 70 6f 6e | 20 6e 27 20 5c 5c 0a 5c | i\expon| n' \\.\|
|00005360| 73 75 63 63 20 26 20 5c | 76 65 72 62 27 20 5c 73 |succ & \|verb' \s|
|00005370| 75 63 63 27 20 5c 5c 0a | 25 5c 70 72 65 63 20 26 |ucc' \\.|%\prec &|
|00005380| 20 5c 76 65 72 62 27 20 | 5c 70 72 65 63 27 20 5c | \verb' |\prec' \|
|00005390| 5c 0a 3d 7e 5c 6e 65 71 | 20 26 20 5c 76 65 72 62 |\.=~\neq| & \verb|
|000053a0| 27 20 3d 20 5c 6e 65 71 | 27 20 5c 5c 0a 3c 7e 5c |' = \neq|' \\.<~\|
|000053b0| 6c 65 71 7e 5c 6c 65 71 | 73 6c 61 6e 74 20 26 20 |leq~\leq|slant & |
|000053c0| 5c 76 65 72 62 27 20 3c | 20 5c 6c 65 71 20 5c 6c |\verb' <| \leq \l|
|000053d0| 65 71 73 6c 61 6e 74 27 | 20 5c 5c 0a 3e 7e 5c 67 |eqslant'| \\.>~\g|
|000053e0| 65 71 7e 5c 67 65 71 73 | 6c 61 6e 74 20 26 20 5c |eq~\geqs|lant & \|
|000053f0| 76 65 72 62 27 20 3e 20 | 5c 67 65 71 20 5c 67 65 |verb' > |\geq \ge|
|00005400| 71 73 6c 61 6e 74 27 20 | 5c 5c 0a 2a 5c 2c 2f 5c |qslant' |\\.*\,/\|
|00005410| 2c 2b 20 2d 20 26 20 5c | 76 65 72 62 27 20 2a 20 |,+ - & \|verb' * |
|00005420| 2f 20 2b 20 2d 27 20 5c | 5c 0a 5c 65 6e 64 7b 73 |/ + -' \|\.\end{s|
|00005430| 79 6d 62 6f 6c 73 7d 0a | 5c 73 75 62 73 75 62 73 |ymbols}.|\subsubs|
|00005440| 65 63 74 69 6f 6e 7b 4c | 6f 67 69 63 7d 0a 5c 76 |ection{L|ogic}.\v|
|00005450| 73 70 61 63 65 2a 7b 2d | 32 2e 35 65 78 7d 0a 5c |space*{-|2.5ex}.\|
|00005460| 62 65 67 69 6e 7b 73 79 | 6d 62 6f 6c 73 7d 0a 5c |begin{sy|mbols}.\|
|00005470| 6c 6e 6f 74 20 26 20 5c | 76 65 72 62 27 5c 6c 6e |lnot & \|verb'\ln|
|00005480| 6f 74 27 20 5c 5c 0a 5c | 6c 61 6e 64 20 26 20 5c |ot' \\.\|land & \|
|00005490| 76 65 72 62 27 5c 6c 61 | 6e 64 20 28 5c 77 65 64 |verb'\la|nd (\wed|
|000054a0| 67 65 29 27 20 5c 5c 0a | 5c 6c 6f 72 20 26 20 5c |ge)' \\.|\lor & \|
|000054b0| 76 65 72 62 27 5c 6c 6f | 72 20 28 5c 76 65 65 29 |verb'\lo|r (\vee)|
|000054c0| 27 20 5c 5c 0a 5c 61 6c | 6c 20 26 20 5c 76 65 72 |' \\.\al|l & \ver|
|000054d0| 62 27 5c 61 6c 6c 20 28 | 5c 66 6f 72 61 6c 6c 29 |b'\all (|\forall)|
|000054e0| 27 20 5c 5c 0a 5c 65 78 | 69 20 26 20 5c 76 65 72 |' \\.\ex|i & \ver|
|000054f0| 62 27 5c 65 78 69 20 28 | 5c 65 78 69 73 74 73 29 |b'\exi (|\exists)|
|00005500| 27 20 5c 5c 0a 5c 65 78 | 69 5f 31 20 26 20 5c 76 |' \\.\ex|i_1 & \v|
|00005510| 65 72 62 27 5c 65 78 69 | 6f 6e 65 27 20 5c 5c 0a |erb'\exi|one' \\.|
|00005520| 5c 6e 65 78 69 20 26 20 | 5c 76 65 72 62 27 5c 6e |\nexi & |\verb'\n|
|00005530| 65 78 69 20 28 5c 6e 65 | 78 69 73 74 73 29 27 20 |exi (\ne|xists)' |
|00005540| 5c 5c 0a 5c 64 6f 74 20 | 26 20 5c 76 65 72 62 27 |\\.\dot |& \verb'|
|00005550| 40 20 5c 64 6f 74 20 28 | 5c 73 70 6f 74 29 27 20 |@ \dot (|\spot)' |
|00005560| 5c 5c 0a 25 5c 63 6f 6e | 64 20 26 20 5c 76 65 72 |\\.%\con|d & \ver|
|00005570| 62 27 5c 63 6f 6e 64 27 | 20 5c 5c 0a 5c 69 6d 70 |b'\cond'| \\.\imp|
|00005580| 20 26 20 5c 76 65 72 62 | 27 5c 69 6d 70 20 28 5c | & \verb|'\imp (\|
|00005590| 69 6d 70 6c 69 65 73 29 | 27 20 5c 5c 0a 5c 69 66 |implies)|' \\.\if|
|000055a0| 66 20 26 20 5c 76 65 72 | 62 27 5c 69 66 66 27 20 |f & \ver|b'\iff' |
|000055b0| 5c 5c 0a 5c 74 72 75 65 | 20 26 20 5c 76 65 72 62 |\\.\true| & \verb|
|000055c0| 27 5c 74 72 75 65 27 20 | 5c 5c 0a 5c 66 61 6c 73 |'\true' |\\.\fals|
|000055d0| 65 20 26 20 5c 76 65 72 | 62 27 5c 66 61 6c 73 65 |e & \ver|b'\false|
|000055e0| 27 20 5c 5c 0a 5c 62 6f | 6f 6c 20 26 20 5c 76 65 |' \\.\bo|ol & \ve|
|000055f0| 72 62 27 5c 62 6f 6f 6c | 27 20 5c 5c 0a 5c 65 6e |rb'\bool|' \\.\en|
|00005600| 64 7b 73 79 6d 62 6f 6c | 73 7d 0a 5c 73 75 62 73 |d{symbol|s}.\subs|
|00005610| 75 62 73 65 63 74 69 6f | 6e 7b 53 65 74 73 7d 0a |ubsectio|n{Sets}.|
|00005620| 5c 76 73 70 61 63 65 2a | 7b 2d 32 2e 35 65 78 7d |\vspace*|{-2.5ex}|
|00005630| 0a 5c 62 65 67 69 6e 7b | 73 79 6d 62 6f 6c 73 7d |.\begin{|symbols}|
|00005640| 0a 5c 7b 7e 7e 5c 63 62 | 61 72 7e 7e 5c 7d 20 26 |.\{~~\cb|ar~~\} &|
|00005650| 20 5c 76 65 72 62 27 20 | 5c 7b 20 5c 63 62 61 72 | \verb' |\{ \cbar|
|00005660| 20 5c 7d 27 20 5c 5c 0a | 5c 65 6d 70 74 79 73 65 | \}' \\.|\emptyse|
|00005670| 74 20 26 20 5c 76 65 72 | 62 27 20 5c 65 6d 70 74 |t & \ver|b' \empt|
|00005680| 79 73 65 74 27 20 5c 5c | 0a 5c 76 61 72 65 6d 70 |yset' \\|.\varemp|
|00005690| 74 79 73 65 74 20 26 20 | 5c 76 65 72 62 27 20 5c |tyset & |\verb' \|
|000056a0| 76 61 72 65 6d 70 74 79 | 73 65 74 27 20 5c 5c 0a |varempty|set' \\.|
|000056b0| 5c 6d 65 6d 20 26 20 5c | 76 65 72 62 27 20 5c 6d |\mem & \|verb' \m|
|000056c0| 65 6d 20 28 5c 69 6e 29 | 27 20 5c 5c 0a 5c 6e 6d |em (\in)|' \\.\nm|
|000056d0| 65 6d 20 26 20 5c 76 65 | 72 62 27 20 5c 6e 65 6d |em & \ve|rb' \nem|
|000056e0| 20 28 5c 6e 6d 65 6d 20 | 5c 6e 6f 74 69 6e 29 27 | (\nmem |\notin)'|
|000056f0| 20 5c 5c 0a 5c 70 73 65 | 74 20 26 20 5c 76 65 72 | \\.\pse|t & \ver|
|00005700| 62 27 20 5c 70 73 65 74 | 20 28 5c 70 6f 77 65 72 |b' \pset| (\power|
|00005710| 29 27 20 5c 5c 0a 5c 66 | 73 65 74 20 26 20 5c 76 |)' \\.\f|set & \v|
|00005720| 65 72 62 27 20 5c 66 73 | 65 74 20 28 5c 66 69 6e |erb' \fs|et (\fin|
|00005730| 73 65 74 29 27 20 5c 5c | 0a 5c 70 73 65 74 6f 6e |set)' \\|.\pseton|
|00005740| 65 7e 7e 5c 66 73 65 74 | 6f 6e 65 20 26 20 5c 76 |e~~\fset|one & \v|
|00005750| 65 72 62 27 20 5c 66 73 | 65 74 6f 6e 65 20 5c 70 |erb' \fs|etone \p|
|00005760| 73 65 74 6f 6e 65 27 20 | 5c 5c 0a 5c 75 6e 69 20 |setone' |\\.\uni |
|00005770| 26 20 5c 76 65 72 62 27 | 20 5c 75 6e 69 20 28 5c |& \verb'| \uni (\|
|00005780| 75 6e 69 6f 6e 29 27 20 | 5c 5c 0a 5c 69 6e 74 20 |union)' |\\.\int |
|00005790| 26 20 5c 76 65 72 62 27 | 20 5c 69 6e 74 20 28 5c |& \verb'| \int (\|
|000057a0| 69 6e 74 65 72 29 27 20 | 5c 5c 0a 5c 70 73 75 62 |inter)' |\\.\psub|
|000057b0| 73 20 26 20 5c 76 65 72 | 62 27 20 5c 70 73 75 62 |s & \ver|b' \psub|
|000057c0| 73 20 28 5c 73 75 62 73 | 65 74 29 27 20 5c 5c 0a |s (\subs|et)' \\.|
|000057d0| 5c 73 75 62 73 20 26 20 | 5c 76 65 72 62 27 20 5c |\subs & |\verb' \|
|000057e0| 73 75 62 73 20 28 5c 73 | 75 62 73 65 74 65 71 29 |subs (\s|ubseteq)|
|000057f0| 27 20 5c 5c 0a 5c 70 73 | 75 70 73 20 26 20 5c 76 |' \\.\ps|ups & \v|
|00005800| 65 72 62 27 20 5c 70 73 | 75 70 73 20 28 5c 73 75 |erb' \ps|ups (\su|
|00005810| 70 73 65 74 29 27 20 5c | 5c 0a 5c 73 75 70 73 20 |pset)' \|\.\sups |
|00005820| 26 20 5c 76 65 72 62 27 | 20 5c 73 75 70 73 20 28 |& \verb'| \sups (|
|00005830| 5c 73 75 70 73 65 74 65 | 71 29 27 20 5c 5c 0a 5c |\supsete|q)' \\.\|
|00005840| 70 72 6f 64 20 26 20 5c | 76 65 72 62 27 20 5c 70 |prod & \|verb' \p|
|00005850| 72 6f 64 20 28 5c 63 72 | 6f 73 73 29 27 20 5c 5c |rod (\cr|oss)' \\|
|00005860| 0a 5c 6d 69 6e 7e 5c 6d | 61 78 20 26 20 5c 76 65 |.\min~\m|ax & \ve|
|00005870| 72 62 27 20 5c 6d 69 6e | 20 5c 6d 61 78 27 20 5c |rb' \min| \max' \|
|00005880| 5c 0a 5c 23 20 26 20 5c | 76 65 72 62 27 20 5c 23 |\.\# & \|verb' \#|
|00005890| 27 20 5c 5c 0a 5c 64 75 | 6e 69 20 26 20 5c 76 65 |' \\.\du|ni & \ve|
|000058a0| 72 62 27 20 5c 64 75 6e | 69 20 28 5c 64 75 6e 69 |rb' \dun|i (\duni|
|000058b0| 6f 6e 29 27 20 5c 5c 0a | 5c 64 69 6e 74 20 26 20 |on)' \\.|\dint & |
|000058c0| 5c 76 65 72 62 27 20 5c | 64 69 6e 74 20 28 5c 64 |\verb' \|dint (\d|
|000058d0| 69 6e 74 65 72 29 27 20 | 5c 5c 0a 5c 75 70 74 6f |inter)' |\\.\upto|
|000058e0| 20 26 20 5c 76 65 72 62 | 27 20 5c 75 70 74 6f 27 | & \verb|' \upto'|
|000058f0| 20 5c 5c 0a 5c 65 6e 64 | 7b 73 79 6d 62 6f 6c 73 | \\.\end|{symbols|
|00005900| 7d 0a 0a 5c 73 75 62 73 | 75 62 73 65 63 74 69 6f |}..\subs|ubsectio|
|00005910| 6e 7b 52 65 6c 61 74 69 | 6f 6e 73 20 61 6e 64 20 |n{Relati|ons and |
|00005920| 46 75 6e 63 74 69 6f 6e | 73 7d 0a 5c 76 73 70 61 |Function|s}.\vspa|
|00005930| 63 65 2a 7b 2d 32 2e 35 | 65 78 7d 0a 5c 62 65 67 |ce*{-2.5|ex}.\beg|
|00005940| 69 6e 7b 73 79 6d 62 6f | 6c 73 7d 5b 30 2e 31 5d |in{symbo|ls}[0.1]|
|00005950| 0a 5c 6c 61 6d 62 64 61 | 7e 7e 7e 5c 6d 75 20 26 |.\lambda|~~~\mu &|
|00005960| 20 5c 76 65 72 62 27 5c | 6c 61 6d 62 64 61 20 5c | \verb'\|lambda \|
|00005970| 6d 75 27 20 5c 5c 0a 5c | 64 6f 6d 20 26 20 5c 76 |mu' \\.\|dom & \v|
|00005980| 65 72 62 27 5c 64 6f 6d | 27 20 5c 5c 0a 5c 72 61 |erb'\dom|' \\.\ra|
|00005990| 6e 20 26 20 5c 76 65 72 | 62 27 5c 72 61 6e 27 20 |n & \ver|b'\ran' |
|000059a0| 5c 5c 0a 5c 64 72 65 73 | 20 26 20 5c 76 65 72 62 |\\.\dres| & \verb|
|000059b0| 27 5c 64 72 65 73 27 20 | 5c 5c 0a 5c 64 73 75 62 |'\dres' |\\.\dsub|
|000059c0| 20 26 20 5c 76 65 72 62 | 27 5c 64 73 75 62 20 28 | & \verb|'\dsub (|
|000059d0| 5c 6e 64 72 65 73 29 27 | 20 5c 5c 0a 5c 72 72 65 |\ndres)'| \\.\rre|
|000059e0| 73 20 26 20 5c 76 65 72 | 62 27 5c 72 72 65 73 27 |s & \ver|b'\rres'|
|000059f0| 20 5c 5c 0a 5c 72 73 75 | 62 20 26 20 5c 76 65 72 | \\.\rsu|b & \ver|
|00005a00| 62 27 5c 72 73 75 62 20 | 28 5c 6e 72 72 65 73 29 |b'\rsub |(\nrres)|
|00005a10| 27 20 5c 5c 0a 5c 66 6f | 76 72 20 26 20 5c 76 65 |' \\.\fo|vr & \ve|
|00005a20| 72 62 27 5c 66 6f 76 72 | 27 20 5c 5c 0a 5c 63 6d |rb'\fovr|' \\.\cm|
|00005a30| 70 20 26 20 5c 76 65 72 | 62 27 5c 63 6d 70 27 20 |p & \ver|b'\cmp' |
|00005a40| 5c 5c 0a 5c 66 63 6d 70 | 20 26 20 5c 76 65 72 62 |\\.\fcmp| & \verb|
|00005a50| 27 5c 66 63 6d 70 20 28 | 5c 63 6f 6d 70 29 27 20 |'\fcmp (|\comp)' |
|00005a60| 5c 5c 0a 28 5c 21 7c 7e | 7e 7e 7c 5c 21 29 20 26 |\\.(\!|~|~~|\!) &|
|00005a70| 20 5c 76 65 72 62 27 5c | 6c 69 6d 67 20 5c 72 69 | \verb'\|limg \ri|
|00005a80| 6d 67 27 20 5c 5c 0a 5c | 69 64 20 26 20 5c 76 65 |mg' \\.\|id & \ve|
|00005a90| 72 62 27 5c 69 64 27 20 | 5c 5c 0a 52 5c 69 6e 76 |rb'\id' |\\.R\inv|
|00005aa0| 20 26 20 5c 76 65 72 62 | 27 52 5e 7b 2d 31 7d 20 | & \verb|'R^{-1} |
|00005ab0| 20 52 5c 69 6e 76 27 20 | 5c 5c 0a 52 5e 2b 20 26 | R\inv' |\\.R^+ &|
|00005ac0| 20 20 20 5c 76 65 72 62 | 27 52 5e 2b 20 20 20 20 |   \verb|'R^+    |
|00005ad0| 20 52 5c 74 63 6c 27 20 | 5c 5c 0a 52 5e 2a 20 26 | R\tcl' |\\.R^* &|
|00005ae0| 20 20 20 5c 76 65 72 62 | 27 52 5e 2a 20 20 20 20 |   \verb|'R^*    |
|00005af0| 20 52 5c 72 74 63 6c 27 | 20 5c 5c 0a 52 5e 6b 20 | R\rtcl'| \\.R^k |
|00005b00| 26 20 20 20 5c 76 65 72 | 62 27 52 5e 6b 20 20 20 |&   \ver|b'R^k   |
|00005b10| 20 20 52 5c 69 74 65 72 | 20 6b 27 20 5c 5c 0a 69 |  R\iter| k' \\.i|
|00005b20| 74 65 72 5c 2c 30 5c 2c | 52 20 26 20 5c 76 65 72 |ter\,0\,|R & \ver|
|00005b30| 62 27 69 74 65 72 20 5c | 2c 20 30 20 5c 2c 20 52 |b'iter \|, 0 \, R|
|00005b40| 27 20 5c 5c 0a 5c 6d 61 | 70 20 26 20 5c 76 65 72 |' \\.\ma|p & \ver|
|00005b50| 62 27 5c 6d 61 70 27 20 | 5c 5c 0a 5c 72 65 6c 20 |b'\map' |\\.\rel |
|00005b60| 26 20 5c 76 65 72 62 27 | 5c 72 65 6c 27 20 5c 5c |& \verb'|\rel' \\|
|00005b70| 0a 5c 74 66 75 6e 20 26 | 20 5c 76 65 72 62 27 5c |.\tfun &| \verb'\|
|00005b80| 74 66 75 6e 20 28 5c 66 | 75 6e 29 27 20 5c 5c 0a |tfun (\f|un)' \\.|
|00005b90| 5c 74 69 6e 6a 20 26 20 | 5c 76 65 72 62 27 5c 74 |\tinj & |\verb'\t|
|00005ba0| 69 6e 6a 20 28 5c 69 6e | 6a 29 27 20 5c 5c 0a 5c |inj (\in|j)' \\.\|
|00005bb0| 74 73 75 72 20 26 20 5c | 76 65 72 62 27 5c 74 73 |tsur & \|verb'\ts|
|00005bc0| 75 72 20 28 5c 73 75 72 | 6a 29 27 20 5c 5c 0a 5c |ur (\sur|j)' \\.\|
|00005bd0| 70 66 75 6e 20 26 20 5c | 76 65 72 62 27 5c 70 66 |pfun & \|verb'\pf|
|00005be0| 75 6e 27 20 5c 5c 0a 5c | 70 69 6e 6a 20 26 20 5c |un' \\.\|pinj & \|
|00005bf0| 76 65 72 62 27 5c 70 69 | 6e 6a 27 20 5c 5c 0a 5c |verb'\pi|nj' \\.\|
|00005c00| 70 73 75 72 20 26 20 5c | 76 65 72 62 27 5c 70 73 |psur & \|verb'\ps|
|00005c10| 75 72 20 28 5c 70 73 75 | 72 6a 29 27 20 5c 5c 0a |ur (\psu|rj)' \\.|
|00005c20| 5c 66 66 75 6e 20 26 20 | 5c 76 65 72 62 27 5c 66 |\ffun & |\verb'\f|
|00005c30| 66 75 6e 27 20 5c 5c 0a | 5c 66 69 6e 6a 20 26 20 |fun' \\.|\finj & |
|00005c40| 5c 76 65 72 62 27 5c 66 | 69 6e 6a 27 20 5c 5c 0a |\verb'\f|inj' \\.|
|00005c50| 5c 62 69 6a 20 26 20 5c | 76 65 72 62 27 5c 62 69 |\bij & \|verb'\bi|
|00005c60| 6a 27 20 5c 5c 0a 5c 65 | 6e 64 7b 73 79 6d 62 6f |j' \\.\e|nd{symbo|
|00005c70| 6c 73 7d 0a 5c 73 75 62 | 73 75 62 73 65 63 74 69 |ls}.\sub|subsecti|
|00005c80| 6f 6e 7b 53 65 71 75 65 | 6e 63 65 73 7d 0a 5c 76 |on{Seque|nces}.\v|
|00005c90| 73 70 61 63 65 2a 7b 2d | 32 2e 35 65 78 7d 0a 5c |space*{-|2.5ex}.\|
|00005ca0| 62 65 67 69 6e 7b 73 79 | 6d 62 6f 6c 73 7d 0a 5c |begin{sy|mbols}.\|
|00005cb0| 73 65 71 20 26 20 5c 76 | 65 72 62 27 20 20 20 5c |seq & \v|erb'   \|
|00005cc0| 73 65 71 27 20 5c 5c 0a | 5c 73 65 71 6f 6e 65 20 |seq' \\.|\seqone |
|00005cd0| 26 20 5c 76 65 72 62 27 | 20 20 20 5c 73 65 71 6f |& \verb'|   \seqo|
|00005ce0| 6e 65 27 20 5c 5c 0a 5c | 65 6d 70 74 79 73 65 71 |ne' \\.\|emptyseq|
|00005cf0| 20 26 20 5c 76 65 72 62 | 27 20 20 20 5c 65 6d 70 | & \verb|'   \emp|
|00005d00| 74 79 73 65 71 27 20 5c | 5c 0a 5c 6c 73 65 71 7e |tyseq' \|\.\lseq~|
|00005d10| 7e 7e 5c 72 73 65 71 20 | 26 20 5c 76 65 72 62 27 |~~\rseq |& \verb'|
|00005d20| 20 20 20 5c 6c 73 65 71 | 20 5c 72 73 65 71 27 20 |   \lseq| \rseq' |
|00005d30| 5c 5c 0a 5c 68 65 61 64 | 7e 7e 5c 74 61 69 6c 20 |\\.\head|~~\tail |
|00005d40| 26 20 5c 76 65 72 62 27 | 20 20 20 5c 68 65 61 64 |& \verb'|   \head|
|00005d50| 20 5c 74 61 69 6c 27 20 | 5c 5c 0a 5c 66 72 6f 6e | \tail' |\\.\fron|
|00005d60| 74 7e 7e 5c 6c 61 73 74 | 20 26 20 5c 76 65 72 62 |t~~\last| & \verb|
|00005d70| 27 20 20 20 5c 66 72 6f | 6e 74 20 5c 6c 61 73 74 |'   \fro|nt \last|
|00005d80| 27 20 5c 5c 0a 5c 72 65 | 76 20 26 20 5c 76 65 72 |' \\.\re|v & \ver|
|00005d90| 62 27 20 20 20 5c 72 65 | 76 27 20 5c 5c 0a 5c 6e |b'   \re|v' \\.\n|
|00005da0| 65 78 74 20 26 20 5c 76 | 65 72 62 27 20 20 20 5c |ext & \v|erb'   \|
|00005db0| 6e 65 78 74 27 20 5c 5c | 0a 5c 69 6e 73 65 71 20 |next' \\|.\inseq |
|00005dc0| 26 20 5c 76 65 72 62 27 | 20 20 20 5c 69 6e 73 65 |& \verb'|   \inse|
|00005dd0| 71 27 20 5c 5c 0a 5c 70 | 72 65 66 69 78 20 26 20 |q' \\.\p|refix & |
|00005de0| 5c 76 65 72 62 27 20 20 | 20 5c 70 72 65 66 69 78 |\verb'  | \prefix|
|00005df0| 27 20 5c 5c 0a 5c 73 75 | 66 66 69 78 20 26 20 5c |' \\.\su|ffix & \|
|00005e00| 76 65 72 62 27 20 20 20 | 5c 73 75 66 66 69 78 27 |verb'   |\suffix'|
|00005e10| 20 5c 5c 0a 5c 73 71 75 | 61 73 68 20 26 20 5c 76 | \\.\squ|ash & \v|
|00005e20| 65 72 62 27 20 20 20 5c | 73 71 75 61 73 68 27 20 |erb'   \|squash' |
|00005e30| 5c 5c 0a 5c 63 61 74 20 | 26 20 5c 76 65 72 62 27 |\\.\cat |& \verb'|
|00005e40| 20 20 20 5c 63 61 74 27 | 20 5c 5c 0a 5c 64 63 61 |   \cat'| \\.\dca|
|00005e50| 74 20 26 20 5c 76 65 72 | 62 27 20 20 20 5c 64 63 |t & \ver|b'   \dc|
|00005e60| 61 74 27 20 5c 5c 0a 5c | 64 63 6d 70 20 26 20 5c |at' \\.\|dcmp & \|
|00005e70| 76 65 72 62 27 20 20 20 | 5c 64 63 6d 70 27 20 5c |verb'   |\dcmp' \|
|00005e80| 5c 0a 5c 64 6f 76 72 20 | 26 20 5c 76 65 72 62 27 |\.\dovr |& \verb'|
|00005e90| 20 20 20 5c 64 6f 76 72 | 27 20 5c 5c 0a 5c 69 72 |   \dovr|' \\.\ir|
|00005ea0| 65 73 20 26 20 5c 76 65 | 72 62 27 20 20 20 5c 69 |es & \ve|rb'   \i|
|00005eb0| 72 65 73 27 20 5c 5c 0a | 5c 73 72 65 73 20 26 20 |res' \\.|\sres & |
|00005ec0| 5c 76 65 72 62 27 20 20 | 20 5c 73 72 65 73 20 5c |\verb'  | \sres \|
|00005ed0| 66 69 6c 74 65 72 27 20 | 5c 5c 0a 5c 70 61 72 74 |filter' |\\.\part|
|00005ee0| 69 74 69 6f 6e 73 20 26 | 20 5c 76 65 72 62 27 20 |itions &| \verb' |
|00005ef0| 20 20 5c 70 61 72 74 69 | 74 69 6f 6e 73 27 20 5c |  \parti|tions' \|
|00005f00| 5c 0a 5c 64 69 73 6a 6f | 69 6e 74 20 26 20 5c 76 |\.\disjo|int & \v|
|00005f10| 65 72 62 27 20 20 20 5c | 64 69 73 6a 6f 69 6e 74 |erb'   \|disjoint|
|00005f20| 27 20 5c 5c 0a 5c 65 6e | 64 7b 73 79 6d 62 6f 6c |' \\.\en|d{symbol|
|00005f30| 73 7d 0a 0a 5c 73 75 62 | 73 75 62 73 65 63 74 69 |s}..\sub|subsecti|
|00005f40| 6f 6e 7b 53 63 68 65 6d | 61 73 7d 0a 5c 76 73 70 |on{Schem|as}.\vsp|
|00005f50| 61 63 65 2a 7b 2d 32 2e | 35 65 78 7d 0a 5c 62 65 |ace*{-2.|5ex}.\be|
|00005f60| 67 69 6e 7b 73 79 6d 62 | 6f 6c 73 7d 0a 5c 44 65 |gin{symb|ols}.\De|
|00005f70| 6c 74 61 20 26 20 5c 76 | 65 72 62 27 5c 44 65 6c |lta & \v|erb'\Del|
|00005f80| 74 61 27 20 5c 5c 0a 5c | 65 71 75 69 76 7e 7e 5c |ta' \\.\|equiv~~\|
|00005f90| 58 69 20 26 20 5c 76 65 | 72 62 27 5c 65 71 75 69 |Xi & \ve|rb'\equi|
|00005fa0| 76 20 5c 58 69 27 20 5c | 5c 0a 5c 70 72 65 64 20 |v \Xi' \|\.\pred |
|00005fb0| 26 20 5c 76 65 72 62 27 | 5c 70 72 65 64 27 20 5c |& \verb'|\pred' \|
|00005fc0| 5c 0a 5c 70 72 65 20 26 | 20 5c 76 65 72 62 27 5c |\.\pre &| \verb'\|
|00005fd0| 70 72 65 27 20 5c 5c 0a | 5c 70 6f 73 74 20 26 20 |pre' \\.|\post & |
|00005fe0| 5c 76 65 72 62 27 5c 70 | 6f 73 74 27 20 5c 5c 0a |\verb'\p|ost' \\.|
|00005ff0| 5c 70 72 6f 6a 65 63 74 | 20 26 20 5c 76 65 72 62 |\project| & \verb|
|00006000| 27 5c 7a 70 72 6f 6a 65 | 63 74 20 5c 70 72 6f 6a |'\zproje|ct \proj|
|00006010| 65 63 74 27 20 5c 5c 0a | 5c 7a 61 6e 64 20 26 20 |ect' \\.|\zand & |
|00006020| 5c 76 65 72 62 27 5c 7a | 61 6e 64 27 20 5c 5c 0a |\verb'\z|and' \\.|
|00006030| 5c 7a 6f 72 20 26 20 5c | 76 65 72 62 27 5c 7a 6f |\zor & \|verb'\zo|
|00006040| 72 27 20 5c 5c 0a 5c 7a | 63 6d 70 20 26 20 5c 76 |r' \\.\z|cmp & \v|
|00006050| 65 72 62 27 5c 7a 63 6d | 70 20 28 5c 73 65 6d 69 |erb'\zcm|p (\semi|
|00006060| 29 27 20 5c 5c 0a 5c 7a | 65 78 69 20 26 20 5c 76 |)' \\.\z|exi & \v|
|00006070| 65 72 62 27 5c 7a 65 78 | 69 27 20 5c 5c 0a 5c 7a |erb'\zex|i' \\.\z|
|00006080| 61 6c 6c 20 26 20 5c 76 | 65 72 62 27 5c 7a 61 6c |all & \v|erb'\zal|
|00006090| 6c 27 20 5c 5c 0a 5c 7a | 6e 6f 74 20 26 20 5c 76 |l' \\.\z|not & \v|
|000060a0| 65 72 62 27 5c 7a 6e 6f | 74 27 20 5c 5c 0a 5c 7a |erb'\zno|t' \\.\z|
|000060b0| 68 69 64 65 20 26 20 5c | 76 65 72 62 27 5c 7a 68 |hide & \|verb'\zh|
|000060c0| 69 64 65 20 28 5c 68 69 | 64 65 29 27 20 5c 5c 0a |ide (\hi|de)' \\.|
|000060d0| 5c 7a 66 6f 72 20 26 20 | 5c 76 65 72 62 27 5c 7a |\zfor & |\verb'\z|
|000060e0| 66 6f 72 27 20 5c 5c 0a | 5c 7a 69 6d 70 20 26 20 |for' \\.|\zimp & |
|000060f0| 5c 76 65 72 62 27 5c 7a | 69 6d 70 27 20 5c 5c 0a |\verb'\z|imp' \\.|
|00006100| 5c 7a 65 71 20 26 20 5c | 76 65 72 62 27 5c 7a 65 |\zeq & \|verb'\ze|
|00006110| 71 27 20 5c 5c 0a 5c 7a | 6f 76 72 20 26 20 5c 76 |q' \\.\z|ovr & \v|
|00006120| 65 72 62 27 5c 7a 6f 76 | 72 27 20 5c 5c 0a 5c 7a |erb'\zov|r' \\.\z|
|00006130| 70 69 70 65 20 26 20 5c | 76 65 72 62 27 5c 7a 70 |pipe & \|verb'\zp|
|00006140| 69 70 65 27 20 5c 5c 0a | 5c 74 68 65 74 61 20 26 |ipe' \\.|\theta &|
|00006150| 20 5c 76 65 72 62 27 5c | 74 68 65 74 61 27 20 5c | \verb'\|theta' \|
|00006160| 5c 0a 5c 6c 73 63 68 7e | 7e 5c 7a 62 61 72 7e 7e |\.\lsch~|~\zbar~~|
|00006170| 5c 72 73 63 68 20 26 20 | 5c 76 65 72 62 27 5c 6c |\rsch & |\verb'\l|
|00006180| 73 63 68 20 5c 7a 62 61 | 72 20 5c 72 73 63 68 27 |sch \zba|r \rsch'|
|00006190| 20 5c 5c 0a 2e 20 26 20 | 5c 76 65 72 62 27 2e 27 | \\.. & |\verb'.'|
|000061a0| 20 5c 5c 0a 5c 65 6e 64 | 7b 73 79 6d 62 6f 6c 73 | \\.\end|{symbols|
|000061b0| 7d 0a 5c 73 75 62 73 75 | 62 73 65 63 74 69 6f 6e |}.\subsu|bsection|
|000061c0| 7b 42 61 67 73 7d 0a 5c | 76 73 70 61 63 65 2a 7b |{Bags}.\|vspace*{|
|000061d0| 2d 32 2e 35 65 78 7d 0a | 5c 62 65 67 69 6e 7b 73 |-2.5ex}.|\begin{s|
|000061e0| 79 6d 62 6f 6c 73 7d 0a | 5c 6c 62 61 67 7e 7e 7e |ymbols}.|\lbag~~~|
|000061f0| 5c 72 62 61 67 20 26 20 | 5c 76 65 72 62 27 5c 6c |\rbag & |\verb'\l|
|00006200| 62 61 67 20 5c 72 62 61 | 67 27 20 5c 5c 0a 5c 62 |bag \rba|g' \\.\b|
|00006210| 61 67 20 26 20 5c 76 65 | 72 62 27 5c 62 61 67 27 |ag & \ve|rb'\bag'|
|00006220| 20 5c 5c 0a 5c 65 6d 70 | 74 79 62 61 67 20 26 20 | \\.\emp|tybag & |
|00006230| 5c 76 65 72 62 27 5c 65 | 6d 70 74 79 62 61 67 27 |\verb'\e|mptybag'|
|00006240| 20 5c 5c 0a 5c 69 74 65 | 6d 73 20 26 20 5c 76 65 | \\.\ite|ms & \ve|
|00006250| 72 62 27 5c 69 74 65 6d | 73 27 20 5c 5c 0a 5c 62 |rb'\item|s' \\.\b|
|00006260| 61 67 63 6f 75 6e 74 20 | 26 20 5c 76 65 72 62 27 |agcount |& \verb'|
|00006270| 5c 62 61 67 63 6f 75 6e | 74 27 20 5c 5c 0a 5c 62 |\bagcoun|t' \\.\b|
|00006280| 75 6e 69 20 26 20 5c 76 | 65 72 62 27 5c 62 75 6e |uni & \v|erb'\bun|
|00006290| 69 27 20 5c 5c 0a 5c 69 | 6e 62 61 67 20 26 20 5c |i' \\.\i|nbag & \|
|000062a0| 76 65 72 62 27 5c 69 6e | 62 61 67 27 20 5c 5c 0a |verb'\in|bag' \\.|
|000062b0| 5c 65 6e 64 7b 73 79 6d | 62 6f 6c 73 7d 0a 5c 73 |\end{sym|bols}.\s|
|000062c0| 75 62 73 75 62 73 65 63 | 74 69 6f 6e 7b 44 65 66 |ubsubsec|tion{Def|
|000062d0| 69 6e 69 74 69 6f 6e 73 | 20 61 6e 64 20 44 65 63 |initions| and Dec|
|000062e0| 6c 61 72 61 74 69 6f 6e | 73 7d 0a 5c 76 73 70 61 |laration|s}.\vspa|
|000062f0| 63 65 2a 7b 2d 32 2e 35 | 65 78 7d 0a 5c 62 65 67 |ce*{-2.5|ex}.\beg|
|00006300| 69 6e 7b 73 79 6d 62 6f | 6c 73 7d 0a 3a 3a 3d 20 |in{symbo|ls}.::= |
|00006310| 26 20 5c 76 65 72 62 27 | 5c 64 64 65 66 27 20 5c |& \verb'|\ddef' \|
|00006320| 5c 0a 5c 62 62 61 72 20 | 26 20 5c 76 65 72 62 27 |\.\bbar |& \verb'|
|00006330| 5c 62 62 61 72 27 20 5c | 5c 0a 3d 3d 20 26 20 5c |\bbar' \|\.== & \|
|00006340| 76 65 72 62 27 5c 64 65 | 66 73 27 20 5c 61 6c 73 |verb'\de|fs' \als|
|00006350| 6f 0a 5c 77 69 64 65 68 | 61 74 3d 20 26 20 5c 76 |o.\wideh|at= & \v|
|00006360| 65 72 62 27 5c 73 64 65 | 66 27 20 5c 61 6c 73 6f |erb'\sde|f' \also|
|00006370| 0a 5c 74 72 69 61 6e 67 | 6c 65 71 20 26 20 5c 76 |.\triang|leq & \v|
|00006380| 65 72 62 27 5c 76 61 72 | 73 64 65 66 27 20 5c 5c |erb'\var|sdef' \\|
|00006390| 0a 2c 7e 7e 5c 73 65 6d | 69 63 6f 6c 6f 6e 7e 7e |.,~~\sem|icolon~~|
|000063a0| 3a 20 26 20 5c 76 65 72 | 62 27 2c 20 3b 20 3a 27 |: & \ver|b', ; :'|
|000063b0| 20 5c 5c 0a 5c 6c 61 6e | 67 7e 7e 7e 5c 72 61 6e | \\.\lan|g~~~\ran|
|000063c0| 67 20 26 20 5c 76 65 72 | 62 27 5c 6c 61 6e 67 20 |g & \ver|b'\lang |
|000063d0| 5c 72 61 6e 67 27 20 5c | 5c 0a 5c 65 6e 64 7b 73 |\rang' \|\.\end{s|
|000063e0| 79 6d 62 6f 6c 73 7d 0a | 5c 73 75 62 73 75 62 73 |ymbols}.|\subsubs|
|000063f0| 65 63 74 69 6f 6e 7b 4d | 69 73 63 65 6c 6c 61 6e |ection{M|iscellan|
+--------+-------------------------+-------------------------+--------+--------+