home *** CD-ROM | disk | FTP | other *** search
open in: 
MacOS 8.1
|
Win98
|
DOS
browse contents |
view JSON data
|
view as text
This file was processed as: LaTeX Document
(document/latex).
| Confidence | Program | Detection | Match Type | Support
|
|---|
| 100%
| dexvert
| LaTeX Document (document/latex)
| magic
| Supported |
| 1%
| dexvert
| DirectMusic Style (music/directMusicStyle)
| ext
| Unsupported |
| 1%
| dexvert
| Microsoft Word Style Sheet (other/microsoftWordStyleSheet)
| ext
| Unsupported |
| 1%
| dexvert
| KORG File (other/korgFile)
| ext
| Unsupported |
| 1%
| dexvert
| Text File (text/txt)
| fallback
| Supported |
| 100%
| file
| LaTeX document text
| default
| |
| 99%
| file
| LaTeX auxiliary file, ASCII text
| default
| |
| 100%
| checkBytes
| Printable ASCII
| default
| |
| 100%
| perlTextCheck
| Likely Text (Perl)
| default
| |
| 100%
| detectItEasy
| Format: plain text[LF]
| default (weak)
|
|
hex view+--------+-------------------------+-------------------------+--------+--------+
|00000000| 25 20 70 72 6f 67 72 61 | 6d 2e 73 74 79 2c 20 56 |% progra|m.sty, V|
|00000010| 65 72 73 69 6f 6e 20 33 | 2e 33 0a 25 20 41 20 4c |ersion 3|.3.% A L|
|00000020| 61 54 65 58 32 65 20 73 | 74 79 6c 65 20 66 69 6c |aTeX2e s|tyle fil|
|00000030| 65 20 66 6f 72 20 74 79 | 70 65 73 65 74 74 69 6e |e for ty|pesettin|
|00000040| 67 20 61 6c 67 6f 72 69 | 74 68 6d 73 2e 0a 25 20 |g algori|thms..% |
|00000050| 43 6f 70 79 72 69 67 68 | 74 20 31 39 39 31 20 4d |Copyrigh|t 1991 M|
|00000060| 61 72 74 69 6e 20 57 61 | 72 64 0a 25 20 45 6d 61 |artin Wa|rd.% Ema|
|00000070| 69 6c 3a 20 4d 61 72 74 | 69 6e 2e 57 61 72 64 40 |il: Mart|in.Ward@|
|00000080| 64 75 72 68 61 6d 2e 61 | 63 2e 75 6b 0a 25 20 20 |durham.a|c.uk.% |
|00000090| 20 20 6f 72 3a 20 4d 61 | 72 74 69 6e 2e 57 61 72 | or: Ma|rtin.War|
|000000a0| 64 25 44 55 52 48 41 4d | 2e 41 43 2e 55 4b 40 43 |d%DURHAM|.AC.UK@C|
|000000b0| 55 4e 59 56 4d 2e 43 55 | 4e 59 2e 45 44 55 0a 25 |UNYVM.CU|NY.EDU.%|
|000000c0| 0a 25 20 54 68 69 73 20 | 70 72 6f 67 72 61 6d 20 |.% This |program |
|000000d0| 69 73 20 66 72 65 65 20 | 73 6f 66 74 77 61 72 65 |is free |software|
|000000e0| 3b 20 79 6f 75 20 63 61 | 6e 20 72 65 64 69 73 74 |; you ca|n redist|
|000000f0| 72 69 62 75 74 65 20 69 | 74 20 61 6e 64 2f 6f 72 |ribute i|t and/or|
|00000100| 20 6d 6f 64 69 66 79 0a | 25 20 69 74 20 75 6e 64 | modify.|% it und|
|00000110| 65 72 20 74 68 65 20 74 | 65 72 6d 73 20 6f 66 20 |er the t|erms of |
|00000120| 74 68 65 20 47 4e 55 20 | 47 65 6e 65 72 61 6c 20 |the GNU |General |
|00000130| 50 75 62 6c 69 63 20 4c | 69 63 65 6e 73 65 20 61 |Public L|icense a|
|00000140| 73 20 70 75 62 6c 69 73 | 68 65 64 20 62 79 0a 25 |s publis|hed by.%|
|00000150| 20 74 68 65 20 46 72 65 | 65 20 53 6f 66 74 77 61 | the Fre|e Softwa|
|00000160| 72 65 20 46 6f 75 6e 64 | 61 74 69 6f 6e 3b 20 65 |re Found|ation; e|
|00000170| 69 74 68 65 72 20 76 65 | 72 73 69 6f 6e 20 32 20 |ither ve|rsion 2 |
|00000180| 6f 66 20 74 68 65 20 4c | 69 63 65 6e 73 65 2c 20 |of the L|icense, |
|00000190| 6f 72 0a 25 20 28 61 74 | 20 79 6f 75 72 20 6f 70 |or.% (at| your op|
|000001a0| 74 69 6f 6e 29 20 61 6e | 79 20 6c 61 74 65 72 20 |tion) an|y later |
|000001b0| 76 65 72 73 69 6f 6e 2e | 0a 25 0a 25 20 54 68 69 |version.|.%.% Thi|
|000001c0| 73 20 70 72 6f 67 72 61 | 6d 20 69 73 20 64 69 73 |s progra|m is dis|
|000001d0| 74 72 69 62 75 74 65 64 | 20 69 6e 20 74 68 65 20 |tributed| in the |
|000001e0| 68 6f 70 65 20 74 68 61 | 74 20 69 74 20 77 69 6c |hope tha|t it wil|
|000001f0| 6c 20 62 65 20 75 73 65 | 66 75 6c 2c 0a 25 20 62 |l be use|ful,.% b|
|00000200| 75 74 20 57 49 54 48 4f | 55 54 20 41 4e 59 20 57 |ut WITHO|UT ANY W|
|00000210| 41 52 52 41 4e 54 59 3b | 20 77 69 74 68 6f 75 74 |ARRANTY;| without|
|00000220| 20 65 76 65 6e 20 74 68 | 65 20 69 6d 70 6c 69 65 | even th|e implie|
|00000230| 64 20 77 61 72 72 61 6e | 74 79 20 6f 66 0a 25 20 |d warran|ty of.% |
|00000240| 4d 45 52 43 48 41 4e 54 | 41 42 49 4c 49 54 59 20 |MERCHANT|ABILITY |
|00000250| 6f 72 20 46 49 54 4e 45 | 53 53 20 46 4f 52 20 41 |or FITNE|SS FOR A|
|00000260| 20 50 41 52 54 49 43 55 | 4c 41 52 20 50 55 52 50 | PARTICU|LAR PURP|
|00000270| 4f 53 45 2e 20 20 53 65 | 65 20 74 68 65 0a 25 20 |OSE. Se|e the.% |
|00000280| 47 4e 55 20 47 65 6e 65 | 72 61 6c 20 50 75 62 6c |GNU Gene|ral Publ|
|00000290| 69 63 20 4c 69 63 65 6e | 73 65 20 66 6f 72 20 6d |ic Licen|se for m|
|000002a0| 6f 72 65 20 64 65 74 61 | 69 6c 73 2e 0a 25 0a 25 |ore deta|ils..%.%|
|000002b0| 20 59 6f 75 20 73 68 6f | 75 6c 64 20 68 61 76 65 | You sho|uld have|
|000002c0| 20 72 65 63 65 69 76 65 | 64 20 61 20 63 6f 70 79 | receive|d a copy|
|000002d0| 20 6f 66 20 74 68 65 20 | 47 4e 55 20 47 65 6e 65 | of the |GNU Gene|
|000002e0| 72 61 6c 20 50 75 62 6c | 69 63 20 4c 69 63 65 6e |ral Publ|ic Licen|
|000002f0| 73 65 0a 25 20 61 6c 6f | 6e 67 20 77 69 74 68 20 |se.% alo|ng with |
|00000300| 74 68 69 73 20 70 72 6f | 67 72 61 6d 3b 20 69 66 |this pro|gram; if|
|00000310| 20 6e 6f 74 2c 20 77 72 | 69 74 65 20 74 6f 20 74 | not, wr|ite to t|
|00000320| 68 65 20 46 72 65 65 20 | 53 6f 66 74 77 61 72 65 |he Free |Software|
|00000330| 0a 25 20 46 6f 75 6e 64 | 61 74 69 6f 6e 2c 20 49 |.% Found|ation, I|
|00000340| 6e 63 2e 2c 20 36 37 35 | 20 4d 61 73 73 20 41 76 |nc., 675| Mass Av|
|00000350| 65 2c 20 43 61 6d 62 72 | 69 64 67 65 2c 20 4d 41 |e, Cambr|idge, MA|
|00000360| 20 30 32 31 33 39 2c 20 | 55 53 41 2e 0a 25 0a 25 | 02139, |USA..%.%|
|00000370| 0a 25 20 54 68 69 73 20 | 69 73 20 74 68 65 20 22 |.% This |is the "|
|00000380| 70 72 6f 67 72 61 6d 22 | 20 73 74 79 6c 65 20 6f |program"| style o|
|00000390| 70 74 69 6f 6e 20 77 68 | 69 63 68 20 73 65 74 73 |ption wh|ich sets|
|000003a0| 20 75 70 20 74 68 65 0a | 25 20 70 72 6f 67 72 61 | up the.|% progra|
|000003b0| 6d 20 61 6e 64 20 70 72 | 6f 67 72 61 6d 62 6f 78 |m and pr|ogrambox|
|000003c0| 20 65 6e 76 69 72 6f 6e | 6d 65 6e 74 73 2c 0a 25 | environ|ments,.%|
|000003d0| 20 6b 65 79 77 6f 72 64 | 73 20 66 6f 72 20 70 72 | keyword|s for pr|
|000003e0| 6f 67 72 61 6d 73 20 61 | 6e 64 20 61 20 66 65 77 |ograms a|nd a few|
|000003f0| 20 67 6f 6f 64 69 65 73 | 2e 0a 25 20 4e 4f 54 45 | goodies|..% NOTE|
|00000400| 3a 20 57 69 74 68 69 6e | 20 74 68 65 20 70 72 6f |: Within| the pro|
|00000410| 67 72 61 6d 20 65 6e 76 | 69 72 6f 6e 6d 65 6e 74 |gram env|ironment|
|00000420| 3a 0a 25 20 28 31 29 20 | 4e 65 77 6c 69 6e 65 73 |:.% (1) |Newlines|
|00000430| 20 61 72 65 20 73 69 67 | 6e 69 66 69 63 61 6e 74 | are sig|nificant|
|00000440| 2e 0a 25 20 28 32 29 20 | 45 61 63 68 20 6c 69 6e |..% (2) |Each lin|
|00000450| 65 20 69 73 20 69 6e 20 | 6d 61 74 68 20 6d 6f 64 |e is in |math mod|
|00000460| 65 2c 20 73 6f 20 66 6f | 72 20 65 78 61 6d 70 6c |e, so fo|r exampl|
|00000470| 65 20 73 70 61 63 65 73 | 20 69 6e 20 74 68 65 20 |e spaces| in the |
|00000480| 69 6e 70 75 74 0a 25 20 | 20 20 20 20 66 69 6c 65 |input.% | file|
|00000490| 20 61 72 65 20 6e 6f 74 | 20 73 69 67 6e 69 66 69 | are not| signifi|
|000004a0| 63 61 6e 74 2e 0a 25 20 | 28 33 29 20 5c 5c 20 77 |cant..% |(3) \\ w|
|000004b0| 69 74 68 69 6e 20 61 20 | 6c 69 6e 65 20 63 61 75 |ithin a |line cau|
|000004c0| 73 65 73 20 61 20 6c 69 | 6e 65 62 72 65 61 6b 20 |ses a li|nebreak |
|000004d0| 69 6e 20 74 68 65 20 6f | 75 74 70 75 74 2e 0a 25 |in the o|utput..%|
|000004e0| 0a 25 20 57 65 20 61 6c | 73 6f 20 64 65 66 69 6e |.% We al|so defin|
|000004f0| 65 20 61 20 22 70 72 6f | 67 72 61 6d 62 6f 78 22 |e a "pro|grambox"|
|00000500| 20 65 6e 76 69 72 6f 6e | 6d 65 6e 74 20 77 68 69 | environ|ment whi|
|00000510| 63 68 20 74 79 70 65 73 | 65 74 73 20 61 20 70 72 |ch types|ets a pr|
|00000520| 6f 67 72 61 6d 20 69 6e | 20 61 20 62 6f 78 2e 0a |ogram in| a box..|
|00000530| 25 20 55 73 65 66 75 6c | 20 66 6f 72 20 6b 65 65 |% Useful| for kee|
|00000540| 70 69 6e 67 20 61 20 70 | 69 63 65 20 6f 66 20 63 |ping a p|ice of c|
|00000550| 6f 64 65 20 6f 6e 20 6f | 6e 65 20 70 61 67 65 20 |ode on o|ne page |
|00000560| 6f 72 20 66 6f 72 20 74 | 79 70 65 73 65 74 74 69 |or for t|ypesetti|
|00000570| 6e 67 20 73 6d 61 6c 6c | 20 0a 25 20 70 72 6f 67 |ng small| .% prog|
|00000580| 72 61 6d 73 20 69 6e 20 | 72 75 6e 6e 69 6e 67 20 |rams in |running |
|00000590| 74 65 78 74 2e 0a 25 20 | 57 65 20 61 6c 73 6f 20 |text..% |We also |
|000005a0| 72 65 64 65 66 69 6e 65 | 20 5c 28 20 61 6e 64 20 |redefine| \( and |
|000005b0| 5c 29 20 61 73 20 5c 62 | 65 67 69 6e 7b 70 72 6f |\) as \b|egin{pro|
|000005c0| 67 72 61 6d 62 6f 78 7d | 20 61 6e 64 20 5c 65 6e |grambox}| and \en|
|000005d0| 64 7b 70 72 6f 67 72 61 | 6d 62 6f 78 7d 2e 0a 25 |d{progra|mbox}..%|
|000005e0| 20 54 68 65 20 5c 74 61 | 62 20 61 6e 64 20 5c 75 | The \ta|b and \u|
|000005f0| 6e 74 61 62 20 63 6f 6d | 6d 61 6e 64 73 20 61 72 |ntab com|mands ar|
|00000600| 65 20 64 65 66 69 6e 65 | 64 20 74 6f 20 68 61 76 |e define|d to hav|
|00000610| 65 20 6e 6f 20 65 66 66 | 65 63 74 20 77 68 69 6c |e no eff|ect whil|
|00000620| 65 20 6f 75 74 73 69 64 | 65 20 0a 25 20 61 20 70 |e outsid|e .% a p|
|00000630| 72 6f 67 72 61 6d 20 65 | 6e 76 69 72 6f 6e 6d 65 |rogram e|nvironme|
|00000640| 6e 74 2c 20 68 65 6e 63 | 65 20 61 20 73 69 6e 67 |nt, henc|e a sing|
|00000650| 6c 65 2d 6c 69 6e 65 20 | 70 72 6f 67 72 61 6d 20 |le-line |program |
|00000660| 63 61 6e 20 62 65 20 74 | 79 70 65 73 65 74 20 69 |can be t|ypeset i|
|00000670| 6e 20 0a 25 20 6d 61 74 | 68 73 20 6d 6f 64 65 20 |n .% mat|hs mode |
|00000680| 77 69 74 68 6f 75 74 20 | 74 68 65 20 6f 76 65 72 |without |the over|
|00000690| 68 65 61 64 20 61 73 73 | 6f 63 69 61 74 65 64 20 |head ass|ociated |
|000006a0| 77 69 74 68 20 70 72 6f | 67 72 61 6d 62 6f 78 2e |with pro|grambox.|
|000006b0| 0a 0a 25 25 25 25 25 25 | 25 25 25 25 25 25 25 25 |..%%%%%%|%%%%%%%%|
|000006c0| 25 25 25 25 25 25 25 25 | 25 25 25 25 25 25 25 25 |%%%%%%%%|%%%%%%%%|
|000006d0| 25 25 25 25 25 25 25 25 | 25 25 25 25 25 25 25 25 |%%%%%%%%|%%%%%%%%|
|000006e0| 25 25 25 25 25 25 25 25 | 25 25 25 0a 25 25 25 20 |%%%%%%%%|%%%.%%% |
|000006f0| 53 65 63 74 69 6f 6e 20 | 28 31 29 2e 20 54 68 65 |Section |(1). The|
|00000700| 20 4b 65 79 77 6f 72 64 | 73 2e 0a 25 25 25 25 25 | Keyword|s..%%%%%|
|00000710| 25 25 25 25 25 25 25 25 | 25 25 25 25 25 25 25 25 |%%%%%%%%|%%%%%%%%|
|00000720| 25 25 25 25 25 25 25 25 | 25 25 25 25 25 25 25 25 |%%%%%%%%|%%%%%%%%|
|00000730| 25 25 25 25 25 25 25 25 | 25 25 25 25 25 25 25 25 |%%%%%%%%|%%%%%%%%|
|00000740| 25 25 25 25 0a 0a 0a 25 | 20 53 65 74 20 75 70 20 |%%%%...%| Set up |
|00000750| 22 3b 22 20 74 6f 20 61 | 64 64 20 61 20 74 68 69 |";" to a|dd a thi|
|00000760| 63 6b 20 6d 61 74 68 73 | 20 73 70 61 63 65 20 61 |ck maths| space a|
|00000770| 66 74 65 72 20 69 74 20 | 77 68 65 6e 20 61 63 74 |fter it |when act|
|00000780| 69 76 65 20 69 6e 20 6d | 61 74 68 20 6d 6f 64 65 |ive in m|ath mode|
|00000790| 3a 0a 5c 6c 65 74 5c 40 | 73 65 6d 69 63 6f 6c 6f |:.\let\@|semicolo|
|000007a0| 6e 3d 3b 0a 5c 63 61 74 | 63 6f 64 65 60 5c 3b 3d |n=;.\cat|code`\;=|
|000007b0| 31 32 5c 72 65 6c 61 78 | 0a 5c 6d 61 74 68 63 6f |12\relax|.\mathco|
|000007c0| 64 65 60 5c 3b 3d 22 38 | 30 30 30 20 25 20 4d 61 |de`\;="8|000 % Ma|
|000007d0| 6b 65 73 20 3b 20 61 63 | 74 69 76 65 20 69 6e 20 |kes ; ac|tive in |
|000007e0| 6d 61 74 68 20 6d 6f 64 | 65 0a 7b 5c 63 61 74 63 |math mod|e.{\catc|
|000007f0| 6f 64 65 60 5c 3b 3d 5c | 61 63 74 69 76 65 20 5c |ode`\;=\|active \|
|00000800| 67 64 65 66 3b 7b 5c 69 | 66 6d 6d 6f 64 65 5c 73 |gdef;{\i|fmmode\s|
|00000810| 65 6d 69 63 6f 6c 6f 6e | 5c 3b 5c 65 6c 73 65 5c |emicolon|\;\else\|
|00000820| 40 73 65 6d 69 63 6f 6c | 6f 6e 5c 66 69 7d 7d 0a |@semicol|on\fi}}.|
|00000830| 5c 6d 61 74 68 63 68 61 | 72 64 65 66 5c 73 65 6d |\mathcha|rdef\sem|
|00000840| 69 63 6f 6c 6f 6e 3d 22 | 36 30 33 42 0a 0a 25 20 |icolon="|603B..% |
|00000850| 53 65 74 20 75 70 20 60 | 20 73 6f 20 74 68 61 74 |Set up `| so that|
|00000860| 20 60 60 2e 2e 2e 27 27 | 20 74 79 70 65 73 65 74 | ``...''| typeset|
|00000870| 73 20 74 68 65 20 73 74 | 72 69 6e 67 20 69 6e 20 |s the st|ring in |
|00000880| 74 74 20 28 69 6e 20 6d | 61 74 68 20 6d 6f 64 65 |tt (in m|ath mode|
|00000890| 29 3a 0a 5c 6d 61 74 68 | 63 6f 64 65 60 5c 60 3d |):.\math|code`\`=|
|000008a0| 22 38 30 30 30 20 25 20 | 4d 61 6b 65 73 20 60 20 |"8000 % |Makes ` |
|000008b0| 61 63 74 69 76 65 20 69 | 6e 20 6d 61 74 68 20 6d |active i|n math m|
|000008c0| 6f 64 65 20 6f 6e 6c 79 | 2e 0a 7b 25 5c 63 61 74 |ode only|..{%\cat|
|000008d0| 63 6f 64 65 60 5c 27 3d | 5c 61 63 74 69 76 65 20 |code`\'=|\active |
|000008e0| 0a 20 5c 63 61 74 63 6f | 64 65 60 5c 60 3d 5c 61 |. \catco|de`\`=\a|
|000008f0| 63 74 69 76 65 0a 20 5c | 67 64 65 66 60 7b 5c 73 |ctive. \|gdef`{\s|
|00000900| 74 61 72 74 73 74 72 69 | 6e 67 40 7d 0a 7d 0a 5c |tartstri|ng@}.}.\|
|00000910| 6e 65 77 69 66 5c 69 66 | 4d 61 74 68 73 4d 6f 64 |newif\if|MathsMod|
|00000920| 65 53 74 72 69 6e 67 73 | 20 5c 4d 61 74 68 73 4d |eStrings| \MathsM|
|00000930| 6f 64 65 53 74 72 69 6e | 67 73 66 61 6c 73 65 0a |odeStrin|gsfalse.|
|00000940| 5c 64 65 66 5c 73 74 61 | 72 74 73 74 72 69 6e 67 |\def\sta|rtstring|
|00000950| 40 60 23 31 27 27 7b 5c | 69 66 4d 61 74 68 73 4d |@`#1''{\|ifMathsM|
|00000960| 6f 64 65 53 74 72 69 6e | 67 73 0a 09 09 09 20 5c |odeStrin|gs.... \|
|00000970| 6d 62 6f 78 7b 60 60 7d | 23 31 5c 6d 62 6f 78 7b |mbox{``}|#1\mbox{|
|00000980| 27 27 7d 5c 65 6c 73 65 | 0a 09 09 09 20 5c 6d 62 |''}\else|.... \mb|
|00000990| 6f 78 7b 60 60 7b 5c 74 | 74 20 23 31 7d 27 27 7d |ox{``{\t|t #1}''}|
|000009a0| 5c 66 69 7d 0a 0a 25 20 | 53 65 74 20 75 70 20 61 |\fi}..% |Set up a|
|000009b0| 20 6c 61 72 67 65 72 20 | 61 72 72 61 79 20 6f 66 | larger |array of|
|000009c0| 20 74 61 62 73 20 73 69 | 6e 63 65 20 70 72 6f 67 | tabs si|nce prog|
|000009d0| 72 61 6d 73 20 73 65 74 | 20 6c 6f 74 73 20 6f 66 |rams set| lots of|
|000009e0| 20 74 61 62 73 2e 0a 25 | 20 54 68 69 73 20 73 65 | tabs..%| This se|
|000009f0| 63 74 69 6f 6e 20 63 61 | 6e 20 62 65 20 65 78 74 |ction ca|n be ext|
|00000a00| 65 6e 64 65 64 20 69 66 | 20 6d 6f 72 65 20 74 61 |ended if| more ta|
|00000a10| 62 73 20 61 72 65 20 6e | 65 65 64 65 64 3a 0a 5c |bs are n|eeded:.\|
|00000a20| 6e 65 77 64 69 6d 65 6e | 5c 40 67 74 65 6d 70 61 |newdimen|\@gtempa|
|00000a30| 20 0a 5c 63 68 61 72 64 | 65 66 5c 40 66 69 72 73 | .\chard|ef\@firs|
|00000a40| 74 74 61 62 3d 5c 74 68 | 65 5c 61 6c 6c 6f 63 61 |ttab=\th|e\alloca|
|00000a50| 74 69 6f 6e 6e 75 6d 62 | 65 72 0a 5c 6e 65 77 64 |tionnumb|er.\newd|
|00000a60| 69 6d 65 6e 5c 40 67 74 | 65 6d 70 61 5c 6e 65 77 |imen\@gt|empa\new|
|00000a70| 64 69 6d 65 6e 5c 40 67 | 74 65 6d 70 61 5c 6e 65 |dimen\@g|tempa\ne|
|00000a80| 77 64 69 6d 65 6e 5c 40 | 67 74 65 6d 70 61 5c 6e |wdimen\@|gtempa\n|
|00000a90| 65 77 64 69 6d 65 6e 5c | 40 67 74 65 6d 70 61 0a |ewdimen\|@gtempa.|
|00000aa0| 5c 6e 65 77 64 69 6d 65 | 6e 5c 40 67 74 65 6d 70 |\newdime|n\@gtemp|
|00000ab0| 61 5c 6e 65 77 64 69 6d | 65 6e 5c 40 67 74 65 6d |a\newdim|en\@gtem|
|00000ac0| 70 61 5c 6e 65 77 64 69 | 6d 65 6e 5c 40 67 74 65 |pa\newdi|men\@gte|
|00000ad0| 6d 70 61 5c 6e 65 77 64 | 69 6d 65 6e 5c 40 67 74 |mpa\newd|imen\@gt|
|00000ae0| 65 6d 70 61 0a 5c 6e 65 | 77 64 69 6d 65 6e 5c 40 |empa.\ne|wdimen\@|
|00000af0| 67 74 65 6d 70 61 5c 6e | 65 77 64 69 6d 65 6e 5c |gtempa\n|ewdimen\|
|00000b00| 40 67 74 65 6d 70 61 5c | 6e 65 77 64 69 6d 65 6e |@gtempa\|newdimen|
|00000b10| 5c 40 67 74 65 6d 70 61 | 5c 6e 65 77 64 69 6d 65 |\@gtempa|\newdime|
|00000b20| 6e 5c 40 67 74 65 6d 70 | 61 0a 5c 6e 65 77 64 69 |n\@gtemp|a.\newdi|
|00000b30| 6d 65 6e 5c 40 67 74 65 | 6d 70 61 5c 6e 65 77 64 |men\@gte|mpa\newd|
|00000b40| 69 6d 65 6e 5c 40 67 74 | 65 6d 70 61 5c 6e 65 77 |imen\@gt|empa\new|
|00000b50| 64 69 6d 65 6e 5c 40 67 | 74 65 6d 70 61 5c 6e 65 |dimen\@g|tempa\ne|
|00000b60| 77 64 69 6d 65 6e 5c 40 | 67 74 65 6d 70 61 0a 5c |wdimen\@|gtempa.\|
|00000b70| 6e 65 77 64 69 6d 65 6e | 5c 40 67 74 65 6d 70 61 |newdimen|\@gtempa|
|00000b80| 5c 6e 65 77 64 69 6d 65 | 6e 5c 40 67 74 65 6d 70 |\newdime|n\@gtemp|
|00000b90| 61 5c 6e 65 77 64 69 6d | 65 6e 5c 40 67 74 65 6d |a\newdim|en\@gtem|
|00000ba0| 70 61 5c 6e 65 77 64 69 | 6d 65 6e 5c 40 67 74 65 |pa\newdi|men\@gte|
|00000bb0| 6d 70 61 0a 5c 6e 65 77 | 64 69 6d 65 6e 5c 40 67 |mpa.\new|dimen\@g|
|00000bc0| 74 65 6d 70 61 5c 6e 65 | 77 64 69 6d 65 6e 5c 40 |tempa\ne|wdimen\@|
|00000bd0| 67 74 65 6d 70 61 5c 6e | 65 77 64 69 6d 65 6e 5c |gtempa\n|ewdimen\|
|00000be0| 40 67 74 65 6d 70 61 5c | 6e 65 77 64 69 6d 65 6e |@gtempa\|newdimen|
|00000bf0| 5c 40 67 74 65 6d 70 61 | 0a 5c 6e 65 77 64 69 6d |\@gtempa|.\newdim|
|00000c00| 65 6e 5c 40 67 74 65 6d | 70 61 5c 6e 65 77 64 69 |en\@gtem|pa\newdi|
|00000c10| 6d 65 6e 5c 40 67 74 65 | 6d 70 61 5c 6e 65 77 64 |men\@gte|mpa\newd|
|00000c20| 69 6d 65 6e 5c 40 67 74 | 65 6d 70 61 5c 6e 65 77 |imen\@gt|empa\new|
|00000c30| 64 69 6d 65 6e 5c 40 67 | 74 65 6d 70 61 0a 5c 6e |dimen\@g|tempa.\n|
|00000c40| 65 77 64 69 6d 65 6e 5c | 40 67 74 65 6d 70 61 5c |ewdimen\|@gtempa\|
|00000c50| 6e 65 77 64 69 6d 65 6e | 5c 40 67 74 65 6d 70 61 |newdimen|\@gtempa|
|00000c60| 5c 6e 65 77 64 69 6d 65 | 6e 5c 40 67 74 65 6d 70 |\newdime|n\@gtemp|
|00000c70| 61 5c 6e 65 77 64 69 6d | 65 6e 5c 40 67 74 65 6d |a\newdim|en\@gtem|
|00000c80| 70 61 0a 5c 6e 65 77 64 | 69 6d 65 6e 5c 40 67 74 |pa.\newd|imen\@gt|
|00000c90| 65 6d 70 61 5c 6e 65 77 | 64 69 6d 65 6e 5c 40 67 |empa\new|dimen\@g|
|00000ca0| 74 65 6d 70 61 5c 6e 65 | 77 64 69 6d 65 6e 5c 40 |tempa\ne|wdimen\@|
|00000cb0| 67 74 65 6d 70 61 5c 6e | 65 77 64 69 6d 65 6e 5c |gtempa\n|ewdimen\|
|00000cc0| 40 67 74 65 6d 70 61 0a | 5c 6e 65 77 64 69 6d 65 |@gtempa.|\newdime|
|00000cd0| 6e 5c 40 67 74 65 6d 70 | 61 5c 6e 65 77 64 69 6d |n\@gtemp|a\newdim|
|00000ce0| 65 6e 5c 40 67 74 65 6d | 70 61 5c 6e 65 77 64 69 |en\@gtem|pa\newdi|
|00000cf0| 6d 65 6e 5c 40 67 74 65 | 6d 70 61 5c 6e 65 77 64 |men\@gte|mpa\newd|
|00000d00| 69 6d 65 6e 5c 40 67 74 | 65 6d 70 61 0a 5c 6e 65 |imen\@gt|empa.\ne|
|00000d10| 77 64 69 6d 65 6e 5c 40 | 67 74 65 6d 70 61 5c 6e |wdimen\@|gtempa\n|
|00000d20| 65 77 64 69 6d 65 6e 5c | 40 67 74 65 6d 70 61 5c |ewdimen\|@gtempa\|
|00000d30| 6e 65 77 64 69 6d 65 6e | 5c 40 67 74 65 6d 70 61 |newdimen|\@gtempa|
|00000d40| 5c 6e 65 77 64 69 6d 65 | 6e 5c 40 67 74 65 6d 70 |\newdime|n\@gtemp|
|00000d50| 61 0a 5c 6e 65 77 64 69 | 6d 65 6e 5c 40 67 74 65 |a.\newdi|men\@gte|
|00000d60| 6d 70 61 5c 6e 65 77 64 | 69 6d 65 6e 5c 40 67 74 |mpa\newd|imen\@gt|
|00000d70| 65 6d 70 61 5c 6e 65 77 | 64 69 6d 65 6e 5c 40 67 |empa\new|dimen\@g|
|00000d80| 74 65 6d 70 61 5c 6e 65 | 77 64 69 6d 65 6e 5c 40 |tempa\ne|wdimen\@|
|00000d90| 67 74 65 6d 70 61 0a 5c | 6e 65 77 64 69 6d 65 6e |gtempa.\|newdimen|
|00000da0| 5c 40 67 74 65 6d 70 61 | 20 0a 5c 63 68 61 72 64 |\@gtempa| .\chard|
|00000db0| 65 66 5c 40 6d 61 78 74 | 61 62 3d 5c 74 68 65 5c |ef\@maxt|ab=\the\|
|00000dc0| 61 6c 6c 6f 63 61 74 69 | 6f 6e 6e 75 6d 62 65 72 |allocati|onnumber|
|00000dd0| 0a 0a 25 20 4e 42 3a 20 | 63 61 6e 27 74 20 75 73 |..% NB: |can't us|
|00000de0| 65 20 5c 70 75 73 68 74 | 61 62 6e 73 20 61 6e 64 |e \pusht|abns and|
|00000df0| 20 5c 70 6f 70 74 61 62 | 73 20 74 6f 20 72 65 64 | \poptab|s to red|
|00000e00| 75 63 65 20 74 68 65 20 | 6e 65 65 64 20 66 6f 72 |uce the |need for|
|00000e10| 20 74 61 62 73 0a 25 20 | 73 69 6e 63 65 20 5c 40 | tabs.% |since \@|
|00000e20| 63 75 72 74 61 62 2c 20 | 5c 40 63 75 72 74 61 62 |curtab, |\@curtab|
|00000e30| 6d 61 72 20 61 6e 64 20 | 5c 40 6e 78 74 74 61 62 |mar and |\@nxttab|
|00000e40| 6d 61 72 20 61 72 65 20 | 67 6c 6f 62 61 6c 20 76 |mar are |global v|
|00000e50| 61 72 69 61 62 6c 65 73 | 0a 25 20 77 68 69 63 68 |ariables|.% which|
|00000e60| 20 77 6f 75 6c 64 20 61 | 6c 73 6f 20 6e 65 65 64 | would a|lso need|
|00000e70| 20 74 6f 20 62 65 20 73 | 61 76 65 64 20 61 6e 64 | to be s|aved and|
|00000e80| 20 72 65 73 74 6f 72 65 | 64 2e 0a 0a 25 20 54 68 | restore|d...% Th|
|00000e90| 65 20 70 72 6f 67 72 61 | 6d 20 65 6e 76 69 72 6f |e progra|m enviro|
|00000ea0| 6e 6d 65 6e 74 2e 0a 25 | 20 54 68 69 73 20 69 73 |nment..%| This is|
|00000eb0| 20 62 61 73 65 64 20 6f | 6e 20 74 68 65 20 74 61 | based o|n the ta|
|00000ec0| 62 62 69 6e 67 20 65 6e | 76 69 72 6f 6e 6d 65 6e |bbing en|vironmen|
|00000ed0| 74 20 77 69 74 68 20 65 | 61 63 68 20 6c 69 6e 65 |t with e|ach line|
|00000ee0| 20 70 75 74 20 69 6e 20 | 6d 61 74 68 20 6d 6f 64 | put in |math mod|
|00000ef0| 65 2c 0a 25 20 5c 6f 62 | 65 79 6c 69 6e 65 73 20 |e,.% \ob|eylines |
|00000f00| 69 6e 20 66 6f 72 63 65 | 20 61 6e 64 20 22 3b 22 |in force| and ";"|
|00000f10| 20 61 73 20 61 6e 20 61 | 63 74 69 76 65 20 63 68 | as an a|ctive ch|
|00000f20| 61 72 61 63 74 65 72 2e | 0a 5c 64 65 66 5c 40 70 |aracter.|.\def\@p|
|00000f30| 72 6f 67 72 61 6d 63 72 | 7b 24 5c 40 73 74 6f 70 |rogramcr|{$\@stop|
|00000f40| 6c 69 6e 65 5c 40 73 74 | 61 72 74 6c 69 6e 65 5c |line\@st|artline\|
|00000f50| 69 67 6e 6f 72 65 73 70 | 61 63 65 73 24 7d 0a 5c |ignoresp|aces$}.\|
|00000f60| 64 65 66 5c 70 72 6f 67 | 72 61 6d 6e 65 77 70 61 |def\prog|ramnewpa|
|00000f70| 67 65 7b 24 5c 40 73 74 | 6f 70 6c 69 6e 65 5c 6e |ge{$\@st|opline\n|
|00000f80| 65 77 70 61 67 65 5c 40 | 73 74 61 72 74 6c 69 6e |ewpage\@|startlin|
|00000f90| 65 5c 69 67 6e 6f 72 65 | 73 70 61 63 65 73 24 7d |e\ignore|spaces$}|
|00000fa0| 0a 0a 25 20 4c 69 6e 65 | 20 6e 75 6d 62 65 72 73 |..% Line| numbers|
|00000fb0| 20 6f 6e 20 70 72 6f 67 | 72 61 6d 73 3a 0a 5c 6e | on prog|rams:.\n|
|00000fc0| 65 77 63 6f 75 6e 74 65 | 72 7b 70 72 6f 67 72 61 |ewcounte|r{progra|
|00000fd0| 6d 6c 69 6e 65 7d 0a 5c | 6e 65 77 69 66 5c 69 66 |mline}.\|newif\if|
|00000fe0| 4e 75 6d 62 65 72 50 72 | 6f 67 72 61 6d 73 0a 25 |NumberPr|ograms.%|
|00000ff0| 20 44 65 66 61 75 6c 74 | 20 69 73 20 6e 6f 20 6c | Default| is no l|
|00001000| 69 6e 65 20 6e 75 6d 62 | 65 72 73 3a 0a 5c 4e 75 |ine numb|ers:.\Nu|
|00001010| 6d 62 65 72 50 72 6f 67 | 72 61 6d 73 66 61 6c 73 |mberProg|ramsfals|
|00001020| 65 0a 0a 25 20 50 72 6f | 67 72 61 6d 20 74 65 78 |e..% Pro|gram tex|
|00001030| 74 20 73 69 7a 65 20 68 | 6f 6f 6b 3a 0a 5c 6c 65 |t size h|ook:.\le|
|00001040| 74 5c 70 72 6f 67 72 61 | 6d 73 69 7a 65 3d 5c 72 |t\progra|msize=\r|
|00001050| 65 6c 61 78 0a 0a 5c 64 | 65 66 5c 70 72 6f 67 72 |elax..\d|ef\progr|
|00001060| 61 6d 7b 25 0a 20 20 5c | 69 66 40 6d 69 6e 69 70 |am{%. \|if@minip|
|00001070| 61 67 65 5c 65 6c 73 65 | 5c 6c 65 61 76 65 76 6d |age\else|\leavevm|
|00001080| 6f 64 65 5c 66 69 0a 20 | 20 5c 69 66 4e 75 6d 62 |ode\fi. | \ifNumb|
|00001090| 65 72 50 72 6f 67 72 61 | 6d 73 5c 73 65 74 63 6f |erProgra|ms\setco|
|000010a0| 75 6e 74 65 72 7b 70 72 | 6f 67 72 61 6d 6c 69 6e |unter{pr|ogramlin|
|000010b0| 65 7d 7b 30 7d 5c 66 69 | 0a 20 20 5c 6e 6f 72 6d |e}{0}\fi|. \norm|
|000010c0| 61 6c 73 68 61 70 65 0a | 20 20 5c 6f 62 65 79 63 |alshape.| \obeyc|
|000010d0| 72 20 25 25 20 61 64 64 | 65 64 20 6c 69 6e 65 0a |r %% add|ed line.|
|000010e0| 20 20 25 20 61 63 74 69 | 76 61 74 65 20 74 61 62 | % acti|vate tab|
|000010f0| 62 69 6e 67 20 63 6f 6d | 6d 61 6e 64 73 3a 0a 20 |bing com|mands:. |
|00001100| 20 5c 40 74 61 62 63 6f | 6d 6d 61 6e 64 73 6f 6e | \@tabco|mmandson|
|00001110| 20 25 25 20 61 64 64 65 | 64 20 6c 69 6e 65 0a 20 | %% adde|d line. |
|00001120| 20 5c 67 6c 6f 62 61 6c | 5c 6c 65 74 5c 44 4f 3d | \global|\let\DO=|
|00001130| 5c 40 6f 6c 64 44 4f 20 | 25 25 20 61 64 64 65 64 |\@oldDO |%% added|
|00001140| 20 6c 69 6e 65 0a 20 20 | 5c 6c 69 6e 65 73 6b 69 | line. |\lineski|
|00001150| 70 20 5c 7a 40 5c 6c 65 | 74 5c 3e 5c 40 72 74 61 |p \z@\le|t\>\@rta|
|00001160| 62 5c 6c 65 74 5c 3c 5c | 40 6c 74 61 62 5c 6c 65 |b\let\<\|@ltab\le|
|00001170| 74 5c 3d 5c 40 73 65 74 | 74 61 62 0a 20 20 5c 6c |t\=\@set|tab. \l|
|00001180| 65 74 5c 2b 5c 40 74 61 | 62 70 6c 75 73 5c 6c 65 |et\+\@ta|bplus\le|
|00001190| 74 5c 2d 5c 40 74 61 62 | 6d 69 6e 75 73 5c 6c 65 |t\-\@tab|minus\le|
|000011a0| 74 5c 60 5c 40 74 61 62 | 72 6a 5c 6c 65 74 5c 27 |t\`\@tab|rj\let\'|
|000011b0| 5c 40 74 61 62 6c 61 62 | 0a 20 20 5c 6c 65 74 5c |\@tablab|. \let\|
|000011c0| 5c 3d 5c 40 70 72 6f 67 | 72 61 6d 63 72 20 25 25 |\=\@prog|ramcr %%|
|000011d0| 20 63 68 61 6e 67 65 64 | 20 66 72 6f 6d 20 5c 6c | changed| from \l|
|000011e0| 65 74 5c 5c 3d 5c 74 61 | 62 63 72 0a 20 20 5c 67 |et\\=\ta|bcr. \g|
|000011f0| 6c 6f 62 61 6c 5c 40 68 | 69 67 68 74 61 62 5c 40 |lobal\@h|ightab\@|
|00001200| 66 69 72 73 74 74 61 62 | 0a 20 20 5c 67 6c 6f 62 |firsttab|. \glob|
|00001210| 61 6c 5c 40 6e 78 74 74 | 61 62 6d 61 72 5c 40 66 |al\@nxtt|abmar\@f|
|00001220| 69 72 73 74 74 61 62 0a | 20 20 5c 64 69 6d 65 6e |irsttab.| \dimen|
|00001230| 5c 40 66 69 72 73 74 74 | 61 62 5c 40 74 6f 74 61 |\@firstt|ab\@tota|
|00001240| 6c 6c 65 66 74 6d 61 72 | 67 69 6e 0a 20 20 5c 67 |lleftmar|gin. \g|
|00001250| 6c 6f 62 61 6c 5c 40 74 | 61 62 70 75 73 68 30 20 |lobal\@t|abpush0 |
|00001260| 5c 67 6c 6f 62 61 6c 5c | 40 72 6a 66 69 65 6c 64 |\global\|@rjfield|
|00001270| 66 61 6c 73 65 0a 20 20 | 5c 74 72 69 76 6c 69 73 |false. |\trivlis|
|00001280| 74 20 5c 69 74 65 6d 5b | 5d 25 5c 69 66 40 6d 69 |t \item[|]%\if@mi|
|00001290| 6e 69 70 61 67 65 5c 65 | 6c 73 65 5c 76 73 6b 69 |nipage\e|lse\vski|
|000012a0| 70 5c 70 61 72 73 6b 69 | 70 5c 66 69 0a 20 20 5c |p\parski|p\fi. \|
|000012b0| 70 72 6f 67 72 61 6d 73 | 69 7a 65 0a 20 20 5c 73 |programs|ize. \s|
|000012c0| 65 74 62 6f 78 5c 40 74 | 61 62 66 62 6f 78 5c 68 |etbox\@t|abfbox\h|
|000012d0| 62 6f 78 7b 5c 72 6c 61 | 70 7b 5c 69 6e 64 65 6e |box{\rla|p{\inden|
|000012e0| 74 5c 68 73 6b 69 70 5c | 40 74 6f 74 61 6c 6c 65 |t\hskip\|@totalle|
|000012f0| 66 74 6d 61 72 67 69 6e | 0a 20 20 20 20 5c 74 68 |ftmargin|. \th|
|00001300| 65 5c 65 76 65 72 79 70 | 61 72 7d 7d 5c 64 65 66 |e\everyp|ar}}\def|
|00001310| 5c 40 69 74 65 6d 66 75 | 64 67 65 7b 5c 62 6f 78 |\@itemfu|dge{\box|
|00001320| 5c 40 74 61 62 66 62 6f | 78 7d 5c 40 73 74 61 72 |\@tabfbo|x}\@star|
|00001330| 74 6c 69 6e 65 5c 69 67 | 6e 6f 72 65 73 70 61 63 |tline\ig|norespac|
|00001340| 65 73 0a 20 20 24 5c 40 | 67 6f 62 62 6c 65 63 72 |es. $\@|gobblecr|
|00001350| 20 25 25 20 61 64 64 65 | 64 20 6c 69 6e 65 0a 7d | %% adde|d line.}|
|00001360| 0a 0a 5c 64 65 66 5c 65 | 6e 64 70 72 6f 67 72 61 |..\def\e|ndprogra|
|00001370| 6d 7b 24 5c 40 73 74 6f | 70 6c 69 6e 65 5c 69 66 |m{$\@sto|pline\if|
|00001380| 6e 75 6d 5c 40 74 61 62 | 70 75 73 68 20 3e 20 30 |num\@tab|push > 0|
|00001390| 20 5c 40 62 61 64 70 6f | 70 74 61 62 73 20 5c 66 | \@badpo|ptabs \f|
|000013a0| 69 5c 65 6e 64 74 72 69 | 76 6c 69 73 74 25 0a 20 |i\endtri|vlist%. |
|000013b0| 20 5c 72 65 73 74 6f 72 | 65 63 72 20 5c 40 74 61 | \restor|ecr \@ta|
|000013c0| 62 63 6f 6d 6d 61 6e 64 | 73 6f 66 66 20 25 25 20 |bcommand|soff %% |
|000013d0| 61 64 64 65 64 20 6c 69 | 6e 65 0a 5c 40 67 6f 62 |added li|ne.\@gob|
|000013e0| 62 6c 65 63 72 0a 7d 0a | 0a 5c 64 65 66 5c 73 6d |blecr.}.|.\def\sm|
|000013f0| 61 6c 6c 70 72 6f 67 72 | 61 6d 7b 25 0a 20 20 5c |allprogr|am{%. \|
|00001400| 6c 65 74 5c 70 72 6f 67 | 72 61 6d 73 69 7a 65 3d |let\prog|ramsize=|
|00001410| 5c 73 6d 61 6c 6c 5c 70 | 72 6f 67 72 61 6d 0a 7d |\small\p|rogram.}|
|00001420| 0a 0a 5c 64 65 66 5c 65 | 6e 64 73 6d 61 6c 6c 70 |..\def\e|ndsmallp|
|00001430| 72 6f 67 72 61 6d 7b 25 | 0a 20 20 5c 6c 65 74 5c |rogram{%|. \let\|
|00001440| 70 72 6f 67 72 61 6d 73 | 69 7a 65 3d 5c 72 65 6c |programs|ize=\rel|
|00001450| 61 78 5c 65 6e 64 70 72 | 6f 67 72 61 6d 0a 7d 0a |ax\endpr|ogram.}.|
|00001460| 0a 25 20 2d 20 76 65 72 | 73 69 6f 6e 20 77 68 69 |.% - ver|sion whi|
|00001470| 63 68 20 70 75 74 73 20 | 74 68 65 20 77 68 6f 6c |ch puts |the whol|
|00001480| 65 20 70 72 6f 67 72 61 | 6d 20 69 6e 20 61 20 62 |e progra|m in a b|
|00001490| 6f 78 2e 0a 5c 6e 65 77 | 69 66 5c 69 66 40 70 72 |ox..\new|if\if@pr|
|000014a0| 6f 67 72 61 6d 62 6f 78 | 20 5c 40 70 72 6f 67 72 |ogrambox| \@progr|
|000014b0| 61 6d 62 6f 78 66 61 6c | 73 65 0a 5c 6e 65 77 65 |amboxfal|se.\newe|
|000014c0| 6e 76 69 72 6f 6e 6d 65 | 6e 74 7b 70 72 6f 67 72 |nvironme|nt{progr|
|000014d0| 61 6d 62 6f 78 7d 25 0a | 20 20 20 20 7b 5c 62 65 |ambox}%.| {\be|
|000014e0| 67 69 6e 7b 6d 69 6e 69 | 70 61 67 65 7d 5b 74 5d |gin{mini|page}[t]|
|000014f0| 7b 5c 74 65 78 74 77 69 | 64 74 68 7d 25 0a 20 20 |{\textwi|dth}%. |
|00001500| 20 20 20 5c 40 70 72 6f | 67 72 61 6d 62 6f 78 74 | \@pro|gramboxt|
|00001510| 72 75 65 0a 20 20 20 20 | 20 5c 62 65 67 69 6e 7b |rue. | \begin{|
|00001520| 70 72 6f 67 72 61 6d 7d | 7d 25 0a 20 20 20 20 7b |program}|}%. {|
|00001530| 5c 65 6e 64 7b 70 72 6f | 67 72 61 6d 7d 25 0a 20 |\end{pro|gram}%. |
|00001540| 20 20 20 20 5c 40 70 72 | 6f 67 72 61 6d 62 6f 78 | \@pr|ogrambox|
|00001550| 66 61 6c 73 65 0a 20 20 | 20 20 20 5c 65 6e 64 7b |false. | \end{|
|00001560| 6d 69 6e 69 70 61 67 65 | 7d 25 0a 7d 0a 0a 5c 64 |minipage|}%.}..\d|
|00001570| 65 66 5c 28 7b 5c 62 65 | 67 69 6e 7b 70 72 6f 67 |ef\({\be|gin{prog|
|00001580| 72 61 6d 62 6f 78 7d 7d | 0a 5c 64 65 66 5c 29 7b |rambox}}|.\def\){|
|00001590| 5c 65 6e 64 7b 70 72 6f | 67 72 61 6d 62 6f 78 7d |\end{pro|grambox}|
|000015a0| 7d 0a 0a 25 20 41 20 6e | 65 77 20 76 65 72 73 69 |}..% A n|ew versi|
|000015b0| 6f 6e 20 6f 66 20 40 73 | 74 6f 70 6c 69 6e 65 20 |on of @s|topline |
|000015c0| 77 68 69 63 68 20 69 67 | 6e 6f 72 65 73 20 62 6c |which ig|nores bl|
|000015d0| 61 6e 6b 20 6c 69 6e 65 | 73 20 28 6c 69 6e 65 73 |ank line|s (lines|
|000015e0| 20 77 69 74 68 20 0a 25 | 20 77 69 64 74 68 20 30 | with .%| width 0|
|000015f0| 70 74 29 2e 20 54 6f 20 | 70 72 69 6e 74 20 61 20 |pt). To |print a |
|00001600| 62 6c 61 6e 6b 20 6c 69 | 6e 65 2c 20 70 75 74 20 |blank li|ne, put |
|00001610| 22 5c 20 22 20 6f 6e 20 | 69 74 21 0a 25 0a 5c 64 |"\ " on |it!.%.\d|
|00001620| 65 66 5c 40 73 74 6f 70 | 6c 69 6e 65 7b 25 0a 20 |ef\@stop|line{%. |
|00001630| 20 5c 75 6e 73 6b 69 70 | 5c 40 73 74 6f 70 66 69 | \unskip|\@stopfi|
|00001640| 65 6c 64 0a 20 20 5c 69 | 66 40 72 6a 66 69 65 6c |eld. \i|f@rjfiel|
|00001650| 64 0a 20 20 20 20 5c 67 | 6c 6f 62 61 6c 5c 40 72 |d. \g|lobal\@r|
|00001660| 6a 66 69 65 6c 64 66 61 | 6c 73 65 0a 20 20 20 20 |jfieldfa|lse. |
|00001670| 5c 40 74 65 6d 70 64 69 | 6d 61 5c 40 74 6f 74 61 |\@tempdi|ma\@tota|
|00001680| 6c 6c 65 66 74 6d 61 72 | 67 69 6e 20 5c 61 64 76 |lleftmar|gin \adv|
|00001690| 61 6e 63 65 5c 40 74 65 | 6d 70 64 69 6d 61 5c 6c |ance\@te|mpdima\l|
|000016a0| 69 6e 65 77 69 64 74 68 | 0a 20 20 20 20 5c 68 62 |inewidth|. \hb|
|000016b0| 6f 78 20 74 6f 5c 40 74 | 65 6d 70 64 69 6d 61 7b |ox to\@t|empdima{|
|000016c0| 5c 40 69 74 65 6d 66 75 | 64 67 65 5c 40 70 72 69 |\@itemfu|dge\@pri|
|000016d0| 6e 74 6c 69 6e 65 6e 6f | 5c 68 73 6b 69 70 5c 64 |ntlineno|\hskip\d|
|000016e0| 69 6d 65 6e 5c 40 63 75 | 72 74 61 62 6d 61 72 0a |imen\@cu|rtabmar.|
|000016f0| 09 09 20 20 20 20 20 20 | 20 5c 62 6f 78 5c 40 63 |.. | \box\@c|
|00001700| 75 72 6c 69 6e 65 5c 68 | 66 69 6c 5c 62 6f 78 5c |urline\h|fil\box\|
|00001710| 40 63 75 72 66 69 65 6c | 64 7d 25 0a 20 20 5c 65 |@curfiel|d}%. \e|
|00001720| 6c 73 65 0a 20 20 20 20 | 5c 40 61 64 64 66 69 65 |lse. |\@addfie|
|00001730| 6c 64 0a 20 20 20 20 5c | 69 66 64 69 6d 5c 77 64 |ld. \|ifdim\wd|
|00001740| 5c 40 63 75 72 6c 69 6e | 65 3d 30 70 74 5c 65 6c |\@curlin|e=0pt\el|
|00001750| 73 65 0a 20 20 20 20 20 | 20 5c 68 62 6f 78 7b 5c |se. | \hbox{\|
|00001760| 40 69 74 65 6d 66 75 64 | 67 65 5c 40 70 72 69 6e |@itemfud|ge\@prin|
|00001770| 74 6c 69 6e 65 6e 6f 5c | 68 73 6b 69 70 5c 64 69 |tlineno\|hskip\di|
|00001780| 6d 65 6e 5c 40 63 75 72 | 74 61 62 6d 61 72 5c 62 |men\@cur|tabmar\b|
|00001790| 6f 78 5c 40 63 75 72 6c | 69 6e 65 7d 25 0a 20 20 |ox\@curl|ine}%. |
|000017a0| 5c 66 69 0a 5c 66 69 0a | 7d 0a 0a 5c 64 65 66 5c |\fi.\fi.|}..\def\|
|000017b0| 40 70 72 69 6e 74 6c 69 | 6e 65 6e 6f 7b 5c 69 66 |@printli|neno{\if|
|000017c0| 4e 75 6d 62 65 72 50 72 | 6f 67 72 61 6d 73 0a 09 |NumberPr|ograms..|
|000017d0| 09 20 20 20 20 20 5c 67 | 6c 6f 62 61 6c 5c 64 65 |. \g|lobal\de|
|000017e0| 66 5c 40 63 75 72 72 65 | 6e 74 6c 61 62 65 6c 7b |f\@curre|ntlabel{|
|000017f0| 5c 74 68 65 70 72 6f 67 | 72 61 6d 6c 69 6e 65 7d |\theprog|ramline}|
|00001800| 25 0a 09 09 20 20 20 20 | 20 5c 68 73 6b 69 70 5c |%... | \hskip\|
|00001810| 6c 65 66 74 6d 61 72 67 | 69 6e 69 0a 09 09 20 20 |leftmarg|ini... |
|00001820| 20 20 20 5c 6c 6c 61 70 | 7b 7b 5c 70 72 6f 67 6e | \llap|{{\progn|
|00001830| 75 6d 73 74 79 6c 65 5c | 74 68 65 70 72 6f 67 72 |umstyle\|theprogr|
|00001840| 61 6d 6c 69 6e 65 7d 5c | 68 73 6b 69 70 5c 6c 61 |amline}\|hskip\la|
|00001850| 62 65 6c 73 65 70 7d 5c | 66 69 7d 0a 0a 5c 64 65 |belsep}\|fi}..\de|
|00001860| 66 5c 70 72 6f 67 6e 75 | 6d 73 74 79 6c 65 7b 5c |f\prognu|mstyle{\|
|00001870| 73 63 72 69 70 74 73 69 | 7a 65 5c 65 6d 7d 0a 0a |scriptsi|ze\em}..|
|00001880| 5c 64 65 66 5c 40 73 74 | 61 72 74 6c 69 6e 65 7b |\def\@st|artline{|
|00001890| 5c 67 6c 6f 62 61 6c 5c | 40 63 75 72 74 61 62 6d |\global\|@curtabm|
|000018a0| 61 72 5c 40 6e 78 74 74 | 61 62 6d 61 72 0a 20 20 |ar\@nxtt|abmar. |
|000018b0| 20 5c 67 72 65 66 73 74 | 65 70 63 6f 75 6e 74 65 | \grefst|epcounte|
|000018c0| 72 7b 70 72 6f 67 72 61 | 6d 6c 69 6e 65 7d 25 20 |r{progra|mline}% |
|000018d0| 41 64 64 65 64 20 62 79 | 20 4d 2e 57 61 72 64 0a |Added by| M.Ward.|
|000018e0| 20 20 20 5c 67 6c 6f 62 | 61 6c 5c 40 63 75 72 74 | \glob|al\@curt|
|000018f0| 61 62 5c 40 63 75 72 74 | 61 62 6d 61 72 5c 67 6c |ab\@curt|abmar\gl|
|00001900| 6f 62 61 6c 5c 73 65 74 | 62 6f 78 5c 40 63 75 72 |obal\set|box\@cur|
|00001910| 6c 69 6e 65 5c 68 62 6f | 78 20 25 20 6d 69 73 73 |line\hbo|x % miss|
|00001920| 69 6e 67 20 5c 67 6c 6f | 62 61 6c 0a 20 20 20 20 |ing \glo|bal. |
|00001930| 7b 7d 5c 40 73 74 61 72 | 74 66 69 65 6c 64 5c 73 |{}\@star|tfield\s|
|00001940| 74 72 75 74 7d 20 20 20 | 20 20 20 20 20 20 20 20 |trut} | |
|00001950| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 | | |
|00001960| 20 20 20 20 20 20 25 20 | 61 64 64 65 64 20 31 37 | % |added 17|
|00001970| 20 4a 75 6e 20 38 36 0a | 0a 5c 64 65 66 5c 67 72 | Jun 86.|.\def\gr|
|00001980| 65 66 73 74 65 70 63 6f | 75 6e 74 65 72 23 31 7b |efstepco|unter#1{|
|00001990| 5c 73 74 65 70 63 6f 75 | 6e 74 65 72 7b 23 31 7d |\stepcou|nter{#1}|
|000019a0| 5c 6c 65 74 5c 40 74 65 | 6d 70 61 5c 70 72 6f 74 |\let\@te|mpa\prot|
|000019b0| 65 63 74 0a 20 20 5c 64 | 65 66 5c 70 72 6f 74 65 |ect. \d|ef\prote|
|000019c0| 63 74 7b 5c 6e 6f 65 78 | 70 61 6e 64 5c 70 72 6f |ct{\noex|pand\pro|
|000019d0| 74 65 63 74 5c 6e 6f 65 | 78 70 61 6e 64 7d 25 0a |tect\noe|xpand}%.|
|000019e0| 20 20 5c 67 6c 6f 62 61 | 6c 5c 65 64 65 66 5c 40 | \globa|l\edef\@|
|000019f0| 63 75 72 72 65 6e 74 6c | 61 62 65 6c 7b 5c 63 73 |currentl|abel{\cs|
|00001a00| 6e 61 6d 65 20 70 40 23 | 31 5c 65 6e 64 63 73 6e |name p@#|1\endcsn|
|00001a10| 61 6d 65 5c 63 73 6e 61 | 6d 65 20 74 68 65 23 31 |ame\csna|me the#1|
|00001a20| 5c 65 6e 64 63 73 6e 61 | 6d 65 7d 25 0a 20 20 5c |\endcsna|me}%. \|
|00001a30| 6c 65 74 5c 70 72 6f 74 | 65 63 74 5c 40 74 65 6d |let\prot|ect\@tem|
|00001a40| 70 61 7d 0a 20 0a 0a 0a | 25 20 41 20 73 77 69 74 |pa}. ...|% A swit|
|00001a50| 63 68 20 74 6f 20 61 6c | 6c 6f 77 20 5c 42 41 52 |ch to al|low \BAR|
|00001a60| 2e 2e 2e 5c 42 41 52 20 | 77 69 74 68 6f 75 74 20 |...\BAR |without |
|00001a70| 75 6e 74 61 62 62 69 6e | 67 20 74 77 69 63 65 3a |untabbin|g twice:|
|00001a80| 0a 5c 6e 65 77 69 66 5c | 69 66 42 61 72 44 6f 6e |.\newif\|ifBarDon|
|00001a90| 65 20 5c 42 61 72 44 6f | 6e 65 66 61 6c 73 65 0a |e \BarDo|nefalse.|
|00001aa0| 0a 25 20 61 20 73 77 69 | 74 63 68 20 74 6f 20 61 |.% a swi|tch to a|
|00001ab0| 6c 6c 6f 77 20 5c 49 46 | 20 6f 72 20 5c 45 4c 53 |llow \IF| or \ELS|
|00001ac0| 49 46 20 77 69 74 68 20 | 6e 6f 20 5c 54 48 45 4e |IF with |no \THEN|
|00001ad0| 20 28 47 72 72 72 2e 2e | 2e 29 3a 0a 5c 6e 65 77 | (Grrr..|.):.\new|
|00001ae0| 69 66 5c 69 66 54 48 45 | 4e 0a 0a 25 20 46 6f 72 |if\ifTHE|N..% For|
|00001af0| 20 73 61 76 69 6e 67 20 | 61 6e 64 20 72 65 73 74 | saving |and rest|
|00001b00| 6f 72 69 6e 67 20 74 61 | 62 20 6e 75 6d 62 65 72 |oring ta|b number|
|00001b10| 73 20 28 69 66 20 61 20 | 73 74 72 75 63 74 75 72 |s (if a |structur|
|00001b20| 65 20 6d 61 79 20 63 6f | 6e 74 61 69 6e 0a 25 20 |e may co|ntain.% |
|00001b30| 22 75 6e 62 61 6c 61 6e | 63 65 64 22 20 5c 74 61 |"unbalan|ced" \ta|
|00001b40| 62 20 2e 2e 2e 20 5c 75 | 6e 74 61 62 20 70 61 69 |b ... \u|ntab pai|
|00001b50| 72 73 3a 0a 5c 6e 65 77 | 63 6f 75 6e 74 5c 6f 6c |rs:.\new|count\ol|
|00001b60| 64 40 6e 78 74 74 61 62 | 6d 61 72 0a 0a 25 20 54 |d@nxttab|mar..% T|
|00001b70| 68 65 73 65 20 61 72 65 | 20 74 68 65 20 63 6f 6d |hese are| the com|
|00001b80| 6d 61 6e 64 73 20 75 73 | 65 64 20 74 6f 20 73 65 |mands us|ed to se|
|00001b90| 74 20 74 68 65 20 74 61 | 62 73 2e 0a 25 20 54 68 |t the ta|bs..% Th|
|00001ba0| 65 79 20 68 61 76 65 20 | 64 69 66 66 65 72 65 6e |ey have |differen|
|00001bb0| 74 20 64 65 66 69 6e 69 | 74 69 6f 6e 65 20 69 6e |t defini|tione in|
|00001bc0| 73 69 64 65 20 61 6e 64 | 20 6f 75 74 73 69 64 65 |side and| outside|
|00001bd0| 20 74 65 62 62 69 6e 67 | 20 65 6e 76 69 72 6f 6e | tebbing| environ|
|00001be0| 6d 65 6e 74 73 3a 0a 0a | 5c 64 65 66 5c 40 74 61 |ments:..|\def\@ta|
|00001bf0| 62 63 6f 6d 6d 61 6e 64 | 73 6f 6e 7b 25 20 61 63 |bcommand|son{% ac|
|00001c00| 74 69 76 61 74 65 20 74 | 61 62 62 69 6e 67 20 63 |tivate t|abbing c|
|00001c10| 6f 6d 6d 61 6e 64 73 3a | 0a 20 20 25 20 5c 74 61 |ommands:|. % \ta|
|00001c20| 62 20 73 65 74 73 20 61 | 20 74 61 62 20 73 74 6f |b sets a| tab sto|
|00001c30| 70 20 61 6e 64 20 61 64 | 64 73 20 6f 6e 65 20 74 |p and ad|ds one t|
|00001c40| 6f 20 74 68 65 20 6d 61 | 72 67 69 6e 20 74 61 62 |o the ma|rgin tab|
|00001c50| 3a 0a 20 20 5c 64 65 66 | 5c 74 61 62 7b 24 5c 3d |:. \def|\tab{$\=|
|00001c60| 5c 2b 24 7d 25 0a 20 20 | 25 20 5c 71 74 61 62 20 |\+$}%. |% \qtab |
|00001c70| 73 65 74 73 20 61 20 74 | 61 62 20 73 74 6f 70 20 |sets a t|ab stop |
|00001c80| 61 74 20 6f 6e 65 20 71 | 75 61 64 20 6f 66 20 69 |at one q|uad of i|
|00001c90| 6e 64 65 6e 74 61 74 69 | 6f 6e 3a 0a 20 20 5c 64 |ndentati|on:. \d|
|00001ca0| 65 66 5c 71 74 61 62 7b | 5c 71 75 61 64 24 5c 3d |ef\qtab{|\quad$\=|
|00001cb0| 5c 2b 24 5c 6b 65 72 6e | 2d 31 65 6d 7d 25 0a 20 |\+$\kern|-1em}%. |
|00001cc0| 20 25 20 5c 75 6e 74 61 | 62 20 72 65 6d 6f 76 65 | % \unta|b remove|
|00001cd0| 73 20 6f 6e 65 20 74 61 | 62 20 73 74 6f 70 20 61 |s one ta|b stop a|
|00001ce0| 6e 64 20 6d 6f 76 65 73 | 20 6c 65 66 74 20 69 66 |nd moves| left if|
|00001cf0| 20 61 74 20 74 68 65 20 | 62 65 67 69 6e 6e 69 6e | at the |beginnin|
|00001d00| 67 20 6f 66 20 61 20 6c | 69 6e 65 3a 0a 20 20 5c |g of a l|ine:. \|
|00001d10| 64 65 66 5c 75 6e 74 61 | 62 7b 24 5c 40 66 69 6e |def\unta|b{$\@fin|
|00001d20| 69 73 68 66 69 65 6c 64 | 5c 40 69 66 61 74 6d 61 |ishfield|\@ifatma|
|00001d30| 72 67 69 6e 5c 40 6c 74 | 61 62 5c 65 6c 73 65 5c |rgin\@lt|ab\else\|
|00001d40| 72 65 6c 61 78 5c 66 69 | 5c 2d 24 7d 25 0a 20 20 |relax\fi|\-$}%. |
|00001d50| 25 20 4d 75 73 74 20 66 | 69 6e 69 73 68 20 63 75 |% Must f|inish cu|
|00001d60| 72 72 65 6e 74 20 66 69 | 65 6c 64 20 62 65 66 6f |rrent fi|eld befo|
|00001d70| 72 65 20 74 65 73 74 69 | 6e 67 20 69 66 20 61 74 |re testi|ng if at|
|00001d80| 20 6d 61 72 67 69 6e 3a | 0a 20 20 5c 64 65 66 5c | margin:|. \def\|
|00001d90| 40 66 69 6e 69 73 68 66 | 69 65 6c 64 7b 5c 40 73 |@finishf|ield{\@s|
|00001da0| 74 6f 70 66 69 65 6c 64 | 5c 40 61 64 64 66 69 65 |topfield|\@addfie|
|00001db0| 6c 64 5c 40 73 74 61 72 | 74 66 69 65 6c 64 7d 25 |ld\@star|tfield}%|
|00001dc0| 0a 20 20 25 20 5c 40 6d | 61 72 67 69 6e 73 70 61 |. % \@m|arginspa|
|00001dd0| 63 65 20 61 64 64 73 20 | 61 6e 20 65 78 74 72 61 |ce adds |an extra|
|00001de0| 20 73 70 61 63 65 20 75 | 6e 6c 65 73 73 20 74 68 | space u|nless th|
|00001df0| 65 72 65 20 69 73 20 6e | 6f 20 74 65 78 74 20 6f |ere is n|o text o|
|00001e00| 6e 20 74 68 65 20 6c 69 | 6e 65 3a 0a 20 20 5c 64 |n the li|ne:. \d|
|00001e10| 65 66 5c 40 6d 61 72 67 | 69 6e 73 70 61 63 65 7b |ef\@marg|inspace{|
|00001e20| 24 5c 40 66 69 6e 69 73 | 68 66 69 65 6c 64 24 5c |$\@finis|hfield$\|
|00001e30| 40 69 66 61 74 6d 61 72 | 67 69 6e 5c 72 65 6c 61 |@ifatmar|gin\rela|
|00001e40| 78 5c 65 6c 73 65 5c 20 | 5c 66 69 7d 25 0a 20 20 |x\else\ |\fi}%. |
|00001e50| 25 20 5c 72 63 6f 6d 6d | 65 6e 74 7b 2e 2e 2e 7d |% \rcomm|ent{...}|
|00001e60| 20 70 72 6f 76 69 64 65 | 73 20 61 20 63 6f 6d 6d | provide|s a comm|
|00001e70| 65 6e 74 20 66 6c 75 73 | 68 20 74 6f 20 74 68 65 |ent flus|h to the|
|00001e80| 20 72 69 67 68 74 20 6d | 61 72 67 69 6e 3a 0a 20 | right m|argin:. |
|00001e90| 20 5c 64 65 66 5c 72 63 | 6f 6d 6d 65 6e 74 23 23 | \def\rc|omment##|
|00001ea0| 31 7b 24 5c 60 23 23 31 | 24 7d 25 0a 20 20 25 20 |1{$\`##1|$}%. % |
|00001eb0| 5c 6c 6c 61 70 6d 7b 2e | 2e 2e 7d 20 69 73 20 6c |\llapm{.|..} is l|
|00001ec0| 69 6b 65 20 5c 6c 6c 61 | 70 7b 2e 2e 2e 7d 20 62 |ike \lla|p{...} b|
|00001ed0| 75 74 20 61 6c 73 6f 20 | 6c 65 61 76 65 73 20 61 |ut also |leaves a|
|00001ee0| 6e 64 20 72 65 2d 65 6e | 74 65 72 73 20 6d 61 74 |nd re-en|ters mat|
|00001ef0| 68 0a 20 20 25 20 6d 6f | 64 65 20 73 6f 20 74 68 |h. % mo|de so th|
|00001f00| 61 74 20 22 5c 6c 6c 61 | 70 6d 7b 73 74 75 66 66 |at "\lla|pm{stuff|
|00001f10| 7d 28 22 20 64 6f 65 73 | 20 6e 6f 74 20 70 75 74 |}(" does| not put|
|00001f20| 20 61 6e 79 20 73 70 61 | 63 65 20 62 65 74 77 65 | any spa|ce betwe|
|00001f30| 65 6e 20 74 68 65 20 73 | 74 75 66 66 0a 20 20 25 |en the s|tuff. %|
|00001f40| 20 61 6e 64 20 74 68 65 | 20 22 28 22 2e 20 54 68 | and the| "(". Th|
|00001f50| 69 73 20 6d 65 61 6e 73 | 20 69 74 20 77 69 6c 6c |is means| it will|
|00001f60| 20 6c 69 6e 65 20 75 70 | 20 77 69 74 68 20 22 5c | line up| with "\|
|00001f70| 6c 6c 61 70 6d 7b 73 74 | 75 66 66 7d 58 22 0a 20 |llapm{st|uff}X". |
|00001f80| 20 25 20 4e 6f 74 65 20 | 74 68 69 73 20 69 73 20 | % Note |this is |
|00001f90| 6f 6e 6c 79 20 75 73 65 | 64 20 77 68 65 6e 20 5c |only use|d when \|
|00001fa0| 40 74 61 62 63 6f 6d 6d | 61 6e 64 73 6f 6e 20 69 |@tabcomm|andson i|
|00001fb0| 73 20 69 6e 20 66 6f 72 | 63 65 20 73 6f 20 77 65 |s in for|ce so we|
|00001fc0| 20 61 72 65 20 69 6e 0a | 20 20 25 20 6e 6f 72 6d | are in.| % norm|
|00001fd0| 61 6c 20 6d 61 74 68 20 | 6d 6f 64 65 2c 20 6e 6f |al math |mode, no|
|00001fe0| 74 20 64 69 73 70 6c 61 | 79 20 6d 61 74 68 20 6d |t displa|y math m|
|00001ff0| 6f 64 65 2e 0a 20 20 25 | 20 54 68 65 20 31 73 70 |ode.. %| The 1sp|
|00002000| 20 73 70 61 63 65 20 69 | 73 20 73 6f 20 74 68 61 | space i|s so tha|
|00002010| 74 20 61 20 6c 69 6e 65 | 20 77 69 74 68 20 6a 75 |t a line| with ju|
|00002020| 73 74 20 61 6e 20 5c 6c | 6c 61 70 6d 20 69 74 65 |st an \l|lapm ite|
|00002030| 6d 20 6f 6e 20 69 74 20 | 69 73 20 6e 6f 74 20 0a |m on it |is not .|
|00002040| 20 20 25 20 63 6f 6e 73 | 69 64 65 72 65 64 20 74 | % cons|idered t|
|00002050| 6f 20 62 65 20 65 6d 70 | 74 79 21 0a 20 20 5c 64 |o be emp|ty!. \d|
|00002060| 65 66 5c 6c 6c 61 70 6d | 23 23 31 7b 5c 40 69 66 |ef\llapm|##1{\@if|
|00002070| 61 74 6d 61 72 67 69 6e | 0a 09 09 20 20 5c 6c 6c |atmargin|... \ll|
|00002080| 61 70 7b 24 23 23 31 24 | 7d 24 5c 68 73 6b 69 70 |ap{$##1$|}$\hskip|
|00002090| 20 31 73 70 24 25 0a 09 | 09 5c 65 6c 73 65 20 23 | 1sp$%..|.\else #|
|000020a0| 23 31 20 5c 66 69 7d 25 | 0a 20 20 5c 64 65 66 5c |#1 \fi}%|. \def\|
|000020b0| 73 61 76 65 74 61 62 7b | 5c 67 6c 6f 62 61 6c 5c |savetab{|\global\|
|000020c0| 6f 6c 64 40 6e 78 74 74 | 61 62 6d 61 72 5c 40 6e |old@nxtt|abmar\@n|
|000020d0| 78 74 74 61 62 6d 61 72 | 7d 0a 20 20 5c 64 65 66 |xttabmar|}. \def|
|000020e0| 5c 72 65 73 74 6f 72 65 | 74 61 62 7b 5c 67 6c 6f |\restore|tab{\glo|
|000020f0| 62 61 6c 5c 40 6e 78 74 | 74 61 62 6d 61 72 5c 6f |bal\@nxt|tabmar\o|
|00002100| 6c 64 40 6e 78 74 74 61 | 62 6d 61 72 7d 0a 20 20 |ld@nxtta|bmar}. |
|00002110| 25 20 55 73 65 20 74 68 | 69 73 20 74 6f 20 74 79 |% Use th|is to ty|
|00002120| 70 65 73 65 74 20 22 2e | 2e 2e 22 20 61 74 20 61 |peset ".|.." at a|
|00002130| 20 68 69 67 68 65 72 20 | 74 61 62 20 70 6f 73 69 | higher |tab posi|
|00002140| 74 69 6f 6e 3a 0a 20 20 | 5c 64 65 66 5c 75 74 64 |tion:. |\def\utd|
|00002150| 6f 74 73 7b 24 5c 40 66 | 69 6e 69 73 68 66 69 65 |ots{$\@f|inishfie|
|00002160| 6c 64 5c 40 69 66 61 74 | 6d 61 72 67 69 6e 5c 40 |ld\@ifat|margin\@|
|00002170| 6c 74 61 62 5c 40 6c 74 | 61 62 5c 65 6c 73 65 5c |ltab\@lt|ab\else\|
|00002180| 72 65 6c 61 78 5c 66 69 | 24 5c 64 6f 74 73 7d 0a |relax\fi|$\dots}.|
|00002190| 20 20 25 20 46 6f 72 20 | 74 79 70 65 73 65 74 74 | % For |typesett|
|000021a0| 69 6e 67 20 61 20 72 65 | 6c 61 74 69 6f 6e 3a 0a |ing a re|lation:.|
|000021b0| 20 20 5c 64 65 66 5c 6c | 6c 61 70 72 23 23 31 7b | \def\l|lapr##1{|
|000021c0| 5c 40 69 66 61 74 6d 61 | 72 67 69 6e 0a 09 09 20 |\@ifatma|rgin... |
|000021d0| 20 5c 6c 6c 61 70 7b 24 | 5c 20 23 23 31 5c 20 24 | \llap{$|\ ##1\ $|
|000021e0| 7d 24 7b 7d 24 25 0a 09 | 09 5c 65 6c 73 65 5c 20 |}${}$%..|.\else\ |
|000021f0| 23 23 31 5c 20 5c 66 69 | 7d 25 0a 7d 0a 0a 5c 64 |##1\ \fi|}%.}..\d|
|00002200| 65 66 5c 40 74 61 62 63 | 6f 6d 6d 61 6e 64 73 6f |ef\@tabc|ommandso|
|00002210| 66 66 7b 25 20 64 65 61 | 63 74 69 76 61 74 65 20 |ff{% dea|ctivate |
|00002220| 74 61 62 62 69 6e 67 20 | 63 6f 6d 6d 61 6e 64 73 |tabbing |commands|
|00002230| 3a 0a 20 20 5c 6c 65 74 | 5c 74 61 62 3d 5c 72 65 |:. \let|\tab=\re|
|00002240| 6c 61 78 25 0a 20 20 5c | 6c 65 74 5c 71 74 61 62 |lax%. \|let\qtab|
|00002250| 3d 5c 72 65 6c 61 78 25 | 0a 20 20 5c 6c 65 74 5c |=\relax%|. \let\|
|00002260| 40 66 69 6e 69 73 68 66 | 69 65 6c 64 3d 5c 72 65 |@finishf|ield=\re|
|00002270| 6c 61 78 25 0a 20 20 5c | 6c 65 74 5c 75 6e 74 61 |lax%. \|let\unta|
|00002280| 62 3d 5c 72 65 6c 61 78 | 25 0a 20 20 5c 6c 65 74 |b=\relax|%. \let|
|00002290| 5c 40 6d 61 72 67 69 6e | 73 70 61 63 65 3d 5c 20 |\@margin|space=\ |
|000022a0| 25 20 6e 65 76 65 72 20 | 61 74 20 6d 61 72 67 69 |% never |at margi|
|000022b0| 6e 20 74 68 75 73 20 61 | 6c 77 61 79 73 20 61 20 |n thus a|lways a |
|000022c0| 73 70 61 63 65 0a 20 20 | 5c 64 65 66 5c 72 63 6f |space. |\def\rco|
|000022d0| 6d 6d 65 6e 74 23 23 31 | 7b 5c 71 71 75 61 64 5c |mment##1|{\qquad\|
|000022e0| 6d 62 6f 78 7b 23 23 31 | 7d 7d 25 0a 20 20 5c 6c |mbox{##1|}}%. \l|
|000022f0| 65 74 5c 73 61 76 65 74 | 61 62 3d 5c 72 65 6c 61 |et\savet|ab=\rela|
|00002300| 78 25 0a 20 20 5c 6c 65 | 74 5c 72 65 73 74 6f 72 |x%. \le|t\restor|
|00002310| 65 74 61 62 3d 5c 72 65 | 6c 61 78 25 0a 20 20 5c |etab=\re|lax%. \|
|00002320| 6c 65 74 5c 75 74 64 6f | 74 73 3d 5c 64 6f 74 73 |let\utdo|ts=\dots|
|00002330| 25 0a 20 20 5c 64 65 66 | 5c 6c 6c 61 70 6d 23 23 |%. \def|\llapm##|
|00002340| 31 7b 23 23 31 7d 25 0a | 20 20 5c 64 65 66 5c 6c |1{##1}%.| \def\l|
|00002350| 6c 61 70 72 23 23 31 7b | 23 23 31 7d 25 0a 7d 0a |lapr##1{|##1}%.}.|
|00002360| 0a 0a 25 25 20 4e 6f 77 | 20 66 6f 72 20 74 68 65 |..%% Now| for the|
|00002370| 20 6b 65 79 77 6f 72 64 | 73 3a 0a 0a 5c 64 65 66 | keyword|s:..\def|
|00002380| 5c 49 46 7b 5c 6b 65 79 | 77 6f 72 64 7b 69 66 7d |\IF{\key|word{if}|
|00002390| 5c 67 6c 6f 62 61 6c 5c | 54 48 45 4e 66 61 6c 73 |\global\|THENfals|
|000023a0| 65 5c 20 5c 74 61 62 7d | 0a 5c 64 65 66 5c 54 48 |e\ \tab}|.\def\TH|
|000023b0| 45 4e 7b 5c 40 6d 61 72 | 67 69 6e 73 70 61 63 65 |EN{\@mar|ginspace|
|000023c0| 5c 6b 65 79 77 6f 72 64 | 7b 74 68 65 6e 7d 5c 67 |\keyword|{then}\g|
|000023d0| 6c 6f 62 61 6c 5c 54 48 | 45 4e 74 72 75 65 5c 20 |lobal\TH|ENtrue\ |
|000023e0| 5c 74 61 62 7d 0a 25 20 | 65 6c 73 65 20 68 61 73 |\tab}.% |else has|
|000023f0| 20 74 68 65 20 73 61 6d | 65 20 77 69 64 74 68 20 | the sam|e width |
|00002400| 61 73 20 74 68 65 6e 20 | 61 6e 64 20 6c 69 6e 65 |as then |and line|
|00002410| 73 20 75 70 20 77 69 74 | 68 20 69 74 20 6f 6e 20 |s up wit|h it on |
|00002420| 72 69 67 68 74 3a 0a 5c | 64 65 66 5c 45 4c 53 45 |right:.\|def\ELSE|
|00002430| 7b 5c 40 6d 61 72 67 69 | 6e 73 70 61 63 65 5c 6c |{\@margi|nspace\l|
|00002440| 6c 61 70 6d 7b 5c 6b 65 | 79 77 6f 72 64 7b 65 6c |lapm{\ke|yword{el|
|00002450| 73 65 7d 5c 20 7d 7d 25 | 0a 25 20 65 6c 73 66 20 |se}\ }}%|.% elsf |
|00002460| 6c 69 6e 65 73 20 75 70 | 20 77 69 74 68 20 74 68 |lines up| with th|
|00002470| 65 20 69 66 3a 0a 5c 64 | 65 66 5c 45 4c 53 46 7b |e if:.\d|ef\ELSF{|
|00002480| 5c 40 6d 61 72 67 69 6e | 73 70 61 63 65 5c 75 6e |\@margin|space\un|
|00002490| 74 61 62 5c 69 66 54 48 | 45 4e 5c 75 6e 74 61 62 |tab\ifTH|EN\untab|
|000024a0| 5c 66 69 25 0a 09 20 20 | 5c 67 6c 6f 62 61 6c 5c |\fi%.. |\global\|
|000024b0| 54 48 45 4e 66 61 6c 73 | 65 5c 6b 65 79 77 6f 72 |THENfals|e\keywor|
|000024c0| 64 7b 65 6c 73 66 7d 5c | 20 5c 74 61 62 7d 0a 5c |d{elsf}\| \tab}.\|
|000024d0| 64 65 66 5c 45 4c 53 49 | 46 7b 5c 40 6d 61 72 67 |def\ELSI|F{\@marg|
|000024e0| 69 6e 73 70 61 63 65 5c | 75 6e 74 61 62 5c 69 66 |inspace\|untab\if|
|000024f0| 54 48 45 4e 5c 75 6e 74 | 61 62 5c 66 69 25 0a 09 |THEN\unt|ab\fi%..|
|00002500| 20 20 20 5c 67 6c 6f 62 | 61 6c 5c 54 48 45 4e 66 | \glob|al\THENf|
|00002510| 61 6c 73 65 5c 6b 65 79 | 77 6f 72 64 7b 65 6c 73 |alse\key|word{els|
|00002520| 69 66 7d 5c 20 5c 74 61 | 62 7d 0a 25 20 5c 41 52 |if}\ \ta|b}.% \AR|
|00002530| 20 69 73 20 74 68 65 20 | 61 72 72 6f 77 20 66 6f | is the |arrow fo|
|00002540| 72 20 44 69 6a 6b 73 74 | 72 61 20 69 66 20 61 6e |r Dijkst|ra if an|
|00002550| 64 20 64 6f 3a 0a 25 20 | 5c 41 52 2a 20 73 74 61 |d do:.% |\AR* sta|
|00002560| 72 74 73 20 61 20 6e 65 | 77 6c 69 6e 65 20 77 69 |rts a ne|wline wi|
|00002570| 74 68 20 6f 6e 65 20 71 | 75 61 64 20 69 6e 64 65 |th one q|uad inde|
|00002580| 6e 74 61 74 69 6f 6e 3a | 0a 5c 64 65 66 5c 41 52 |ntation:|.\def\AR|
|00002590| 7b 5c 40 6d 61 72 67 69 | 6e 73 70 61 63 65 5c 72 |{\@margi|nspace\r|
|000025a0| 69 67 68 74 61 72 72 6f | 77 5c 67 6c 6f 62 61 6c |ightarro|w\global|
|000025b0| 5c 54 48 45 4e 74 72 75 | 65 5c 40 69 66 73 74 61 |\THENtru|e\@ifsta|
|000025c0| 72 25 0a 09 7b 5c 5c 5c | 71 75 61 64 5c 74 61 62 |r%..{\\\|quad\tab|
|000025d0| 5c 67 6c 6f 62 61 6c 5c | 42 61 72 44 6f 6e 65 66 |\global\|BarDonef|
|000025e0| 61 6c 73 65 5c 40 67 6f | 62 62 6c 65 63 72 7d 25 |alse\@go|bblecr}%|
|000025f0| 0a 09 7b 5c 20 5c 74 61 | 62 5c 67 6c 6f 62 61 6c |..{\ \ta|b\global|
|00002600| 5c 42 61 72 44 6f 6e 65 | 66 61 6c 73 65 7d 7d 25 |\BarDone|false}}%|
|00002610| 0a 25 20 62 61 72 20 6c | 69 6e 65 73 20 75 70 20 |.% bar l|ines up |
|00002620| 6f 6e 20 72 69 67 68 74 | 20 77 69 74 68 20 69 66 |on right| with if|
|00002630| 20 6f 72 20 64 6f 20 6b | 65 79 77 6f 72 64 3a 0a | or do k|eyword:.|
|00002640| 5c 64 65 66 5c 42 41 52 | 7b 5c 40 6d 61 72 67 69 |\def\BAR|{\@margi|
|00002650| 6e 73 70 61 63 65 5c 69 | 66 42 61 72 44 6f 6e 65 |nspace\i|fBarDone|
|00002660| 5c 65 6c 73 65 5c 75 6e | 74 61 62 5c 66 69 5c 67 |\else\un|tab\fi\g|
|00002670| 6c 6f 62 61 6c 5c 42 61 | 72 44 6f 6e 65 74 72 75 |lobal\Ba|rDonetru|
|00002680| 65 0a 09 20 5c 6c 6c 61 | 70 6d 7b 5c 62 61 72 73 |e.. \lla|pm{\bars|
|00002690| 79 6d 62 6f 6c 5c 20 7d | 7d 25 0a 5c 64 65 66 5c |ymbol\ }|}%.\def\|
|000026a0| 46 49 7b 5c 40 6d 61 72 | 67 69 6e 73 70 61 63 65 |FI{\@mar|ginspace|
|000026b0| 5c 75 6e 74 61 62 5c 69 | 66 54 48 45 4e 5c 75 6e |\untab\i|fTHEN\un|
|000026c0| 74 61 62 5c 66 69 5c 6b | 65 79 77 6f 72 64 7b 66 |tab\fi\k|eyword{f|
|000026d0| 69 7d 7d 0a 5c 64 65 66 | 5c 41 57 41 49 54 7b 5c |i}}.\def|\AWAIT{\|
|000026e0| 6b 65 79 77 6f 72 64 7b | 61 77 61 69 74 7d 5c 20 |keyword{|await}\ |
|000026f0| 7d 25 20 5c 54 48 45 4e | 20 70 72 6f 76 69 64 65 |}% \THEN| provide|
|00002700| 73 20 74 68 65 20 5c 74 | 61 62 0a 5c 64 65 66 5c |s the \t|ab.\def\|
|00002710| 44 4f 7b 5c 6b 65 79 77 | 6f 72 64 7b 64 6f 7d 5c |DO{\keyw|ord{do}\|
|00002720| 20 5c 74 61 62 7d 0a 5c | 6c 65 74 5c 40 6f 6c 64 | \tab}.\|let\@old|
|00002730| 44 4f 3d 5c 44 4f 0a 5c | 64 65 66 5c 4f 44 7b 5c |DO=\DO.\|def\OD{\|
|00002740| 40 6d 61 72 67 69 6e 73 | 70 61 63 65 5c 75 6e 74 |@margins|pace\unt|
|00002750| 61 62 5c 6b 65 79 77 6f | 72 64 7b 6f 64 7d 7d 0a |ab\keywo|rd{od}}.|
|00002760| 25 20 5c 57 48 49 4c 45 | 2c 20 5c 46 4f 52 2c 20 |% \WHILE|, \FOR, |
|00002770| 5c 46 4f 52 45 41 43 48 | 20 61 6e 64 20 5c 41 54 |\FOREACH| and \AT|
|00002780| 45 41 43 48 20 74 65 6d | 70 6f 72 61 72 69 6c 79 |EACH tem|porarily|
|00002790| 20 63 68 61 6e 67 65 20 | 5c 44 4f 20 74 6f 20 6e | change |\DO to n|
|000027a0| 6f 74 20 73 65 74 20 61 | 20 74 61 62 3a 0a 5c 64 |ot set a| tab:.\d|
|000027b0| 65 66 5c 57 48 49 4c 45 | 7b 5c 6b 65 79 77 6f 72 |ef\WHILE|{\keywor|
|000027c0| 64 7b 77 68 69 6c 65 7d | 5c 20 5c 74 61 62 0a 09 |d{while}|\ \tab..|
|000027d0| 20 20 20 5c 67 64 65 66 | 5c 44 4f 7b 5c 40 6d 61 | \gdef|\DO{\@ma|
|000027e0| 72 67 69 6e 73 70 61 63 | 65 5c 6b 65 79 77 6f 72 |rginspac|e\keywor|
|000027f0| 64 7b 64 6f 7d 5c 20 5c | 67 6c 6f 62 61 6c 5c 6c |d{do}\ \|global\l|
|00002800| 65 74 5c 44 4f 3d 5c 40 | 6f 6c 64 44 4f 7d 7d 0a |et\DO=\@|oldDO}}.|
|00002810| 5c 64 65 66 5c 46 4f 52 | 7b 5c 6b 65 79 77 6f 72 |\def\FOR|{\keywor|
|00002820| 64 7b 66 6f 72 7d 5c 20 | 5c 74 61 62 0a 09 20 5c |d{for}\ |\tab.. \|
|00002830| 67 64 65 66 5c 44 4f 7b | 5c 40 6d 61 72 67 69 6e |gdef\DO{|\@margin|
|00002840| 73 70 61 63 65 5c 6b 65 | 79 77 6f 72 64 7b 64 6f |space\ke|yword{do|
|00002850| 7d 5c 20 5c 67 6c 6f 62 | 61 6c 5c 6c 65 74 5c 44 |}\ \glob|al\let\D|
|00002860| 4f 3d 5c 40 6f 6c 64 44 | 4f 7d 7d 0a 5c 64 65 66 |O=\@oldD|O}}.\def|
|00002870| 5c 46 4f 52 45 41 43 48 | 7b 5c 71 74 61 62 5c 6b |\FOREACH|{\qtab\k|
|00002880| 65 79 77 6f 72 64 7b 66 | 6f 72 65 61 63 68 7d 5c |eyword{f|oreach}\|
|00002890| 20 25 0a 09 20 20 20 20 | 20 5c 67 64 65 66 5c 44 | %.. | \gdef\D|
|000028a0| 4f 7b 5c 40 6d 61 72 67 | 69 6e 73 70 61 63 65 5c |O{\@marg|inspace\|
|000028b0| 6b 65 79 77 6f 72 64 7b | 64 6f 7d 5c 20 5c 67 6c |keyword{|do}\ \gl|
|000028c0| 6f 62 61 6c 5c 6c 65 74 | 5c 44 4f 3d 5c 40 6f 6c |obal\let|\DO=\@ol|
|000028d0| 64 44 4f 7d 7d 0a 5c 64 | 65 66 5c 41 54 45 41 43 |dDO}}.\d|ef\ATEAC|
|000028e0| 48 7b 5c 71 74 61 62 5c | 6b 65 79 77 6f 72 64 7b |H{\qtab\|keyword{|
|000028f0| 61 74 65 61 63 68 7d 5c | 20 25 0a 09 20 20 20 20 |ateach}\| %.. |
|00002900| 5c 67 64 65 66 5c 44 4f | 7b 5c 40 6d 61 72 67 69 |\gdef\DO|{\@margi|
|00002910| 6e 73 70 61 63 65 5c 6b | 65 79 77 6f 72 64 7b 64 |nspace\k|eyword{d|
|00002920| 6f 7d 5c 20 5c 67 6c 6f | 62 61 6c 5c 6c 65 74 5c |o}\ \glo|bal\let\|
|00002930| 44 4f 3d 5c 40 6f 6c 64 | 44 4f 7d 7d 0a 5c 64 65 |DO=\@old|DO}}.\de|
|00002940| 66 5c 53 54 45 50 7b 5c | 40 6d 61 72 67 69 6e 73 |f\STEP{\|@margins|
|00002950| 70 61 63 65 5c 6b 65 79 | 77 6f 72 64 7b 73 74 65 |pace\key|word{ste|
|00002960| 70 7d 5c 20 7d 0a 5c 64 | 65 66 5c 54 4f 7b 5c 40 |p}\ }.\d|ef\TO{\@|
|00002970| 6d 61 72 67 69 6e 73 70 | 61 63 65 5c 6b 65 79 77 |marginsp|ace\keyw|
|00002980| 6f 72 64 7b 74 6f 7d 5c | 20 7d 0a 25 20 5c 42 45 |ord{to}\| }.% \BE|
|00002990| 47 49 4e 2c 20 5c 52 45 | 50 2c 20 5c 41 43 54 49 |GIN, \RE|P, \ACTI|
|000029a0| 4f 4e 45 51 20 61 6e 64 | 20 5c 57 48 45 52 45 0a |ONEQ and| \WHERE.|
|000029b0| 25 20 6d 61 6b 65 20 73 | 75 72 65 20 6e 65 78 74 |% make s|ure next|
|000029c0| 20 73 74 61 74 65 6d 65 | 6e 74 20 73 74 61 72 74 | stateme|nt start|
|000029d0| 73 20 6f 6e 20 61 20 6e | 65 77 20 6c 69 6e 65 0a |s on a n|ew line.|
|000029e0| 25 20 77 69 74 68 20 6f | 6e 65 20 71 75 61 64 20 |% with o|ne quad |
|000029f0| 6f 66 20 69 6e 64 65 6e | 74 61 74 69 6f 6e 3a 0a |of inden|tation:.|
|00002a00| 5c 64 65 66 5c 42 45 47 | 49 4e 7b 5c 71 74 61 62 |\def\BEG|IN{\qtab|
|00002a10| 5c 68 62 6f 78 7b 5c 6b | 65 79 77 6f 72 64 7b 62 |\hbox{\k|eyword{b|
|00002a20| 65 67 69 6e 7d 7d 5c 20 | 7d 25 0a 5c 64 65 66 5c |egin}}\ |}%.\def\|
|00002a30| 52 45 50 7b 5c 71 74 61 | 62 5c 68 62 6f 78 7b 5c |REP{\qta|b\hbox{\|
|00002a40| 6b 65 79 77 6f 72 64 7b | 72 65 70 7d 7d 5c 20 7d |keyword{|rep}}\ }|
|00002a50| 25 0a 5c 64 65 66 5c 41 | 43 54 49 4f 4e 45 51 7b |%.\def\A|CTIONEQ{|
|00002a60| 5c 20 5c 65 71 75 69 76 | 5c 5c 5c 71 75 61 64 5c |\ \equiv|\\\quad\|
|00002a70| 74 61 62 7d 25 0a 5c 64 | 65 66 5c 57 48 45 52 45 |tab}%.\d|ef\WHERE|
|00002a80| 7b 5c 40 6d 61 72 67 69 | 6e 73 70 61 63 65 5c 75 |{\@margi|nspace\u|
|00002a90| 6e 74 61 62 5c 71 74 61 | 62 5c 68 62 6f 78 7b 5c |ntab\qta|b\hbox{\|
|00002aa0| 6b 65 79 77 6f 72 64 7b | 77 68 65 72 65 7d 7d 5c |keyword{|where}}\|
|00002ab0| 20 7d 25 0a 5c 64 65 66 | 5c 49 46 4d 41 54 43 48 | }%.\def|\IFMATCH|
|00002ac0| 23 31 23 32 7b 5c 71 74 | 61 62 5c 6b 65 79 77 6f |#1#2{\qt|ab\keywo|
|00002ad0| 72 64 7b 69 66 6d 61 74 | 63 68 7d 5c 20 23 31 7b |rd{ifmat|ch}\ #1{|
|00002ae0| 23 32 7d 5c 20 7d 0a 5c | 64 65 66 5c 46 49 4c 4c |#2}\ }.\|def\FILL|
|00002af0| 23 31 23 32 7b 5c 6b 65 | 79 77 6f 72 64 7b 66 69 |#1#2{\ke|yword{fi|
|00002b00| 6c 6c 7d 5c 20 5c 74 61 | 62 23 31 7b 23 32 7d 5c |ll}\ \ta|b#1{#2}\|
|00002b10| 20 5c 73 61 76 65 74 61 | 62 7d 0a 5c 64 65 66 5c | \saveta|b}.\def\|
|00002b20| 45 4e 44 46 49 4c 4c 7b | 5c 40 6d 61 72 67 69 6e |ENDFILL{|\@margin|
|00002b30| 73 70 61 63 65 5c 72 65 | 73 74 6f 72 65 74 61 62 |space\re|storetab|
|00002b40| 5c 75 6e 74 61 62 5c 6b | 65 79 77 6f 72 64 7b 65 |\untab\k|eyword{e|
|00002b50| 6e 64 66 69 6c 6c 7d 7d | 0a 5c 64 65 66 5c 45 44 |ndfill}}|.\def\ED|
|00002b60| 49 54 7b 5c 6b 65 79 77 | 6f 72 64 7b 65 64 69 74 |IT{\keyw|ord{edit|
|00002b70| 7d 5c 20 5c 74 61 62 7d | 0a 5c 64 65 66 5c 45 44 |}\ \tab}|.\def\ED|
|00002b80| 49 54 50 41 52 45 4e 54 | 7b 5c 71 74 61 62 5c 6b |ITPARENT|{\qtab\k|
|00002b90| 65 79 77 6f 72 64 7b 65 | 64 69 74 70 61 72 65 6e |eyword{e|ditparen|
|00002ba0| 74 7d 5c 20 7d 0a 5c 64 | 65 66 5c 45 4e 44 45 44 |t}\ }.\d|ef\ENDED|
|00002bb0| 49 54 7b 5c 40 6d 61 72 | 67 69 6e 73 70 61 63 65 |IT{\@mar|ginspace|
|00002bc0| 5c 75 6e 74 61 62 5c 6b | 65 79 77 6f 72 64 7b 65 |\untab\k|eyword{e|
|00002bd0| 6e 64 65 64 69 74 7d 7d | 0a 5c 64 65 66 5c 45 4e |ndedit}}|.\def\EN|
|00002be0| 44 4d 41 54 43 48 7b 5c | 40 6d 61 72 67 69 6e 73 |DMATCH{\|@margins|
|00002bf0| 70 61 63 65 5c 75 6e 74 | 61 62 5c 75 6e 74 61 62 |pace\unt|ab\untab|
|00002c00| 5c 6b 65 79 77 6f 72 64 | 7b 65 6e 64 6d 61 74 63 |\keyword|{endmatc|
|00002c10| 68 7d 7d 0a 5c 64 65 66 | 5c 45 58 49 54 7b 5c 6b |h}}.\def|\EXIT{\k|
|00002c20| 65 79 77 6f 72 64 7b 65 | 78 69 74 7d 7d 0a 25 20 |eyword{e|xit}}.% |
|00002c30| 47 65 6e 65 72 61 6c 69 | 73 65 64 20 65 78 70 72 |Generali|sed expr|
|00002c40| 65 73 73 69 6f 6e 20 62 | 72 61 63 6b 65 74 73 3a |ession b|rackets:|
|00002c50| 0a 5c 64 65 66 5c 45 58 | 50 7b 5c 6f 70 65 6e 65 |.\def\EX|P{\opene|
|00002c60| 78 70 5c 74 61 62 7d 0a | 5c 64 65 66 5c 45 4e 44 |xp\tab}.|\def\END|
|00002c70| 45 58 50 7b 5c 75 6e 74 | 61 62 5c 63 6c 6f 73 65 |EXP{\unt|ab\close|
|00002c80| 78 70 7d 0a 5c 64 65 66 | 5c 56 41 52 7b 5c 6b 65 |xp}.\def|\VAR{\ke|
|00002c90| 79 77 6f 72 64 7b 76 61 | 72 7d 5c 20 5c 74 61 62 |yword{va|r}\ \tab|
|00002ca0| 7d 0a 5c 64 65 66 5c 76 | 61 72 7b 5c 20 5c 6b 65 |}.\def\v|ar{\ \ke|
|00002cb0| 79 77 6f 72 64 7b 76 61 | 72 7d 5c 20 7d 0a 5c 64 |yword{va|r}\ }.\d|
|00002cc0| 65 66 5c 45 4e 44 7b 5c | 40 6d 61 72 67 69 6e 73 |ef\END{\|@margins|
|00002cd0| 70 61 63 65 5c 75 6e 74 | 61 62 5c 6b 65 79 77 6f |pace\unt|ab\keywo|
|00002ce0| 72 64 7b 65 6e 64 7d 7d | 0a 5c 64 65 66 5c 45 4e |rd{end}}|.\def\EN|
|00002cf0| 44 56 41 52 7b 5c 40 6d | 61 72 67 69 6e 73 70 61 |DVAR{\@m|arginspa|
|00002d00| 63 65 5c 75 6e 74 61 62 | 5c 6b 65 79 77 6f 72 64 |ce\untab|\keyword|
|00002d10| 7b 65 6e 64 7d 7d 0a 5c | 64 65 66 5c 45 4e 44 52 |{end}}.\|def\ENDR|
|00002d20| 45 50 7b 5c 40 6d 61 72 | 67 69 6e 73 70 61 63 65 |EP{\@mar|ginspace|
|00002d30| 5c 75 6e 74 61 62 5c 6b | 65 79 77 6f 72 64 7b 65 |\untab\k|eyword{e|
|00002d40| 6e 64 72 65 70 7d 7d 0a | 5c 64 65 66 5c 57 48 45 |ndrep}}.|\def\WHE|
|00002d50| 52 45 7b 5c 40 6d 61 72 | 67 69 6e 73 70 61 63 65 |RE{\@mar|ginspace|
|00002d60| 5c 75 6e 74 61 62 5c 74 | 61 62 5c 6b 65 79 77 6f |\untab\t|ab\keywo|
|00002d70| 72 64 7b 77 68 65 72 65 | 7d 5c 20 7d 0a 5c 64 65 |rd{where|}\ }.\de|
|00002d80| 66 5c 57 49 54 48 49 4e | 7b 5c 40 6d 61 72 67 69 |f\WITHIN|{\@margi|
|00002d90| 6e 73 70 61 63 65 5c 75 | 6e 74 61 62 5c 6b 65 79 |nspace\u|ntab\key|
|00002da0| 77 6f 72 64 7b 77 69 74 | 68 69 6e 7d 5c 20 7d 0a |word{wit|hin}\ }.|
|00002db0| 5c 64 65 66 5c 50 52 4f | 43 7b 5c 6b 65 79 77 6f |\def\PRO|C{\keywo|
|00002dc0| 72 64 7b 70 72 6f 63 7d | 5c 20 5c 74 61 62 0a 09 |rd{proc}|\ \tab..|
|00002dd0| 20 20 5c 67 64 65 66 5c | 45 51 7b 5c 45 51 73 79 | \gdef\|EQ{\EQsy|
|00002de0| 6d 62 6f 6c 5c 67 6c 6f | 62 61 6c 5c 6c 65 74 5c |mbol\glo|bal\let\|
|00002df0| 45 51 3d 5c 40 6f 6c 64 | 45 51 7d 7d 0a 5c 64 65 |EQ=\@old|EQ}}.\de|
|00002e00| 66 5c 45 4e 44 50 52 4f | 43 7b 5c 66 75 6c 6c 73 |f\ENDPRO|C{\fulls|
|00002e10| 74 6f 70 7d 0a 5c 64 65 | 66 5c 46 55 4e 43 54 7b |top}.\de|f\FUNCT{|
|00002e20| 5c 6b 65 79 77 6f 72 64 | 7b 66 75 6e 63 74 7d 5c |\keyword|{funct}\|
|00002e30| 20 5c 74 61 62 0a 09 20 | 20 20 5c 67 64 65 66 5c | \tab.. | \gdef\|
|00002e40| 45 51 7b 5c 45 51 73 79 | 6d 62 6f 6c 5c 67 6c 6f |EQ{\EQsy|mbol\glo|
|00002e50| 62 61 6c 5c 6c 65 74 5c | 45 51 3d 5c 40 6f 6c 64 |bal\let\|EQ=\@old|
|00002e60| 45 51 7d 7d 0a 5c 64 65 | 66 5c 45 4e 44 46 55 4e |EQ}}.\de|f\ENDFUN|
|00002e70| 43 54 7b 5c 66 75 6c 6c | 73 74 6f 70 5c 67 6c 6f |CT{\full|stop\glo|
|00002e80| 62 61 6c 5c 6c 65 74 5c | 45 51 3d 5c 40 6f 6c 64 |bal\let\|EQ=\@old|
|00002e90| 45 51 7d 0a 5c 64 65 66 | 5c 4a 4f 49 4e 7b 5c 6b |EQ}.\def|\JOIN{\k|
|00002ea0| 65 79 77 6f 72 64 7b 6a | 6f 69 6e 7d 5c 20 5c 74 |eyword{j|oin}\ \t|
|00002eb0| 61 62 7d 0a 5c 64 65 66 | 5c 4e 49 4f 4a 7b 5c 40 |ab}.\def|\NIOJ{\@|
|00002ec0| 6d 61 72 67 69 6e 73 70 | 61 63 65 5c 75 6e 74 61 |marginsp|ace\unta|
|00002ed0| 62 5c 6b 65 79 77 6f 72 | 64 7b 6e 69 6f 6a 7d 7d |b\keywor|d{nioj}}|
|00002ee0| 0a 5c 6c 65 74 5c 45 4e | 44 4a 4f 49 4e 3d 5c 4e |.\let\EN|DJOIN=\N|
|00002ef0| 49 4f 4a 0a 5c 64 65 66 | 5c 4f 4e 45 4f 46 7b 5c |IOJ.\def|\ONEOF{\|
|00002f00| 6b 65 79 77 6f 72 64 7b | 6f 6e 65 6f 66 7d 5c 20 |keyword{|oneof}\ |
|00002f10| 5c 74 61 62 7d 0a 5c 64 | 65 66 5c 46 4f 45 4e 4f |\tab}.\d|ef\FOENO|
|00002f20| 7b 5c 40 6d 61 72 67 69 | 6e 73 70 61 63 65 5c 75 |{\@margi|nspace\u|
|00002f30| 6e 74 61 62 5c 6b 65 79 | 77 6f 72 64 7b 66 6f 65 |ntab\key|word{foe|
|00002f40| 6e 6f 7d 7d 0a 0a 5c 64 | 65 66 5c 41 43 54 49 4f |no}}..\d|ef\ACTIO|
|00002f50| 4e 53 7b 5c 74 61 62 5c | 6b 65 79 77 6f 72 64 7b |NS{\tab\|keyword{|
|00002f60| 61 63 74 69 6f 6e 73 7d | 5c 20 5c 67 6c 6f 62 61 |actions}|\ \globa|
|00002f70| 6c 5c 6c 65 74 5c 45 51 | 3d 5c 40 6f 6c 64 45 51 |l\let\EQ|=\@oldEQ|
|00002f80| 7d 0a 5c 64 65 66 5c 45 | 4e 44 41 43 54 49 4f 4e |}.\def\E|NDACTION|
|00002f90| 53 7b 5c 40 6d 61 72 67 | 69 6e 73 70 61 63 65 5c |S{\@marg|inspace\|
|00002fa0| 75 6e 74 61 62 5c 6b 65 | 79 77 6f 72 64 7b 65 6e |untab\ke|yword{en|
|00002fb0| 64 61 63 74 69 6f 6e 73 | 7d 7d 0a 5c 64 65 66 5c |dactions|}}.\def\|
|00002fc0| 45 4e 44 41 43 54 49 4f | 4e 7b 5c 66 75 6c 6c 73 |ENDACTIO|N{\fulls|
|00002fd0| 74 6f 70 7d 0a 5c 64 65 | 66 5c 43 41 4c 4c 7b 5c |top}.\de|f\CALL{\|
|00002fe0| 6b 65 79 77 6f 72 64 7b | 63 61 6c 6c 7d 5c 20 7d |keyword{|call}\ }|
|00002ff0| 0a 5c 64 65 66 5c 4c 4c | 41 43 7b 7d 0a 5c 6c 65 |.\def\LL|AC{}.\le|
|00003000| 74 5c 45 4e 44 43 41 4c | 4c 3d 5c 4c 4c 41 43 0a |t\ENDCAL|L=\LLAC.|
|00003010| 5c 64 65 66 5c 43 4f 4d | 4d 45 4e 54 23 31 7b 5c |\def\COM|MENT#1{\|
|00003020| 6b 65 79 77 6f 72 64 7b | 63 6f 6d 6d 65 6e 74 7d |keyword{|comment}|
|00003030| 3a 5c 20 5c 6d 62 6f 78 | 7b 23 31 7d 7d 0a 5c 64 |:\ \mbox|{#1}}.\d|
|00003040| 65 66 5c 43 23 31 7b 5c | 6b 65 79 77 6f 72 64 7b |ef\C#1{\|keyword{|
|00003050| 43 7d 3a 5c 20 5c 6d 62 | 6f 78 7b 23 31 7d 7d 0a |C}:\ \mb|ox{#1}}.|
|00003060| 5c 64 65 66 5c 41 52 52 | 41 59 7b 5c 6b 65 79 77 |\def\ARR|AY{\keyw|
|00003070| 6f 72 64 7b 61 72 72 61 | 79 7d 5c 20 7d 0a 0a 25 |ord{arra|y}\ }..%|
|00003080| 20 54 68 65 20 73 79 6d | 62 6f 6c 73 20 75 73 65 | The sym|bols use|
|00003090| 64 20 69 6e 20 70 72 6f | 67 72 61 6d 73 3a 0a 5c |d in pro|grams:.\|
|000030a0| 64 65 66 5c 42 4f 44 59 | 7b 5c 45 51 73 79 6d 62 |def\BODY|{\EQsymb|
|000030b0| 6f 6c 7d 0a 5c 64 65 66 | 5c 51 45 7b 5c 66 75 6c |ol}.\def|\QE{\ful|
|000030c0| 6c 73 74 6f 70 7d 20 25 | 20 65 6e 64 20 6f 66 20 |lstop} %| end of |
|000030d0| 3d 3d 20 64 65 66 69 6e | 69 74 69 6f 6e 2e 0a 0a |== defin|ition...|
|000030e0| 25 20 45 78 70 72 65 73 | 73 69 6f 6e 20 62 72 61 |% Expres|sion bra|
|000030f0| 63 6b 65 74 73 3a 0a 5c | 64 65 66 5c 6f 70 65 6e |ckets:.\|def\open|
|00003100| 65 78 70 7b 5c 6d 61 74 | 68 6f 70 65 6e 20 7b 5c |exp{\mat|hopen {\|
|00003110| 6d 62 6f 78 7b 5c 72 75 | 6c 65 5b 2d 30 2e 35 65 |mbox{\ru|le[-0.5e|
|00003120| 78 5d 7b 30 2e 30 34 65 | 6d 7d 7b 32 2e 33 65 78 |x]{0.04e|m}{2.3ex|
|00003130| 7d 25 0a 09 09 09 20 20 | 20 20 20 20 5c 72 75 6c |}%.... | \rul|
|00003140| 65 5b 31 2e 37 65 78 5d | 7b 30 2e 34 65 6d 7d 7b |e[1.7ex]|{0.4em}{|
|00003150| 30 2e 31 65 78 7d 7d 7d | 7d 0a 5c 64 65 66 5c 63 |0.1ex}}}|}.\def\c|
|00003160| 6c 6f 73 65 78 70 7b 5c | 6d 61 74 68 63 6c 6f 73 |losexp{\|mathclos|
|00003170| 65 7b 5c 6d 62 6f 78 7b | 5c 72 75 6c 65 5b 2d 30 |e{\mbox{|\rule[-0|
|00003180| 2e 35 65 78 5d 7b 30 2e | 34 65 6d 7d 7b 30 2e 31 |.5ex]{0.|4em}{0.1|
|00003190| 65 78 7d 25 0a 09 09 09 | 20 20 20 20 20 20 5c 72 |ex}%....| \r|
|000031a0| 75 6c 65 5b 2d 30 2e 35 | 65 78 5d 7b 30 2e 30 34 |ule[-0.5|ex]{0.04|
|000031b0| 65 6d 7d 7b 32 2e 33 65 | 78 7d 7d 7d 7d 0a 0a 25 |em}{2.3e|x}}}}..%|
|000031c0| 20 5c 66 75 6c 6c 73 74 | 6f 70 20 65 6e 64 73 20 | \fullst|op ends |
|000031d0| 61 6e 20 61 63 74 69 6f | 6e 2c 20 70 72 6f 63 20 |an actio|n, proc |
|000031e0| 6f 72 20 66 75 6e 63 74 | 20 64 65 66 69 6e 69 74 |or funct| definit|
|000031f0| 69 6f 6e 3a 0a 5c 64 65 | 66 5c 66 75 6c 6c 73 74 |ion:.\de|f\fullst|
|00003200| 6f 70 7b 5c 75 6e 74 61 | 62 7b 5c 6d 62 6f 78 7b |op{\unta|b{\mbox{|
|00003210| 5c 62 66 20 2e 7d 7d 7d | 0a 5c 64 65 66 5c 62 61 |\bf .}}}|.\def\ba|
|00003220| 72 73 79 6d 62 6f 6c 7b | 7b 5c 72 6c 61 70 7b 24 |rsymbol{|{\rlap{$|
|00003230| 5c 73 71 63 61 70 24 7d | 5c 73 71 63 75 70 7d 7d |\sqcap$}|\sqcup}}|
|00003240| 0a 0a 25 20 5c 6a 6f 69 | 6e 20 61 6e 64 20 5c 63 |..% \joi|n and \c|
|00003250| 68 6f 69 63 65 20 73 79 | 6d 62 6f 6c 73 3a 0a 5c |hoice sy|mbols:.\|
|00003260| 64 65 66 5c 6a 6f 69 6e | 7b 5c 40 6d 61 72 67 69 |def\join|{\@margi|
|00003270| 6e 73 70 61 63 65 5c 6c | 6c 61 70 6d 7b 5c 73 71 |nspace\l|lapm{\sq|
|00003280| 63 75 70 5c 20 7d 7d 25 | 0a 5c 64 65 66 5c 63 68 |cup\ }}%|.\def\ch|
|00003290| 6f 69 63 65 7b 5c 40 6d | 61 72 67 69 6e 73 70 61 |oice{\@m|arginspa|
|000032a0| 63 65 5c 6c 6c 61 70 6d | 7b 5c 73 71 63 61 70 5c |ce\llapm|{\sqcap\|
|000032b0| 20 7d 7d 25 0a 25 20 5c | 45 51 20 70 75 74 73 20 | }}%.% \|EQ puts |
|000032c0| 6d 6f 72 65 20 73 70 61 | 63 65 20 61 72 6f 75 6e |more spa|ce aroun|
|000032d0| 64 20 73 79 6d 62 6f 6c | 20 69 6e 20 70 72 6f 67 |d symbol| in prog|
|000032e0| 72 61 6d 20 65 6e 76 69 | 72 6f 6e 6d 65 6e 74 3a |ram envi|ronment:|
|000032f0| 0a 25 20 28 74 68 69 73 | 20 67 65 74 73 20 72 65 |.% (this| gets re|
|00003300| 64 65 66 69 6e 65 64 20 | 62 79 20 5c 50 52 4f 43 |defined |by \PROC|
|00003310| 20 61 6e 64 20 5c 46 55 | 4e 43 54 29 3a 0a 5c 64 | and \FU|NCT):.\d|
|00003320| 65 66 5c 45 51 7b 5c 45 | 51 73 79 6d 62 6f 6c 5c |ef\EQ{\E|Qsymbol\|
|00003330| 74 61 62 7d 25 0a 5c 64 | 65 66 5c 40 6f 6c 64 45 |tab}%.\d|ef\@oldE|
|00003340| 51 7b 5c 45 51 73 79 6d | 62 6f 6c 5c 74 61 62 7d |Q{\EQsym|bol\tab}|
|00003350| 25 0a 5c 64 65 66 5c 45 | 51 73 79 6d 62 6f 6c 7b |%.\def\E|Qsymbol{|
|00003360| 5c 45 51 73 70 61 63 65 | 5c 65 71 75 69 76 5c 45 |\EQspace|\equiv\E|
|00003370| 51 73 70 61 63 65 7d 0a | 5c 6c 65 74 5c 45 51 73 |Qspace}.|\let\EQs|
|00003380| 70 61 63 65 3d 5c 20 20 | 25 20 64 65 66 61 75 6c |pace=\ |% defaul|
|00003390| 74 20 73 70 61 63 65 20 | 61 72 6f 75 6e 64 20 5c |t space |around \|
|000033a0| 45 51 0a 0a 25 20 64 65 | 66 61 75 6c 74 20 69 73 |EQ..% de|fault is|
|000033b0| 20 74 61 62 20 63 6f 6d | 6d 61 6e 64 73 20 64 65 | tab com|mands de|
|000033c0| 61 63 74 69 76 61 74 65 | 64 3a 0a 5c 40 74 61 62 |activate|d:.\@tab|
|000033d0| 63 6f 6d 6d 61 6e 64 73 | 6f 66 66 0a 0a 25 20 64 |commands|off..% d|
|000033e0| 65 66 69 6e 65 20 5c 6e | 6f 72 6d 61 6c 73 68 61 |efine \n|ormalsha|
|000033f0| 70 65 20 69 66 20 6e 6f | 74 20 70 72 65 73 65 6e |pe if no|t presen|
|00003400| 74 3a 0a 5c 40 69 66 75 | 6e 64 65 66 69 6e 65 64 |t:.\@ifu|ndefined|
|00003410| 7b 6e 6f 72 6d 61 6c 73 | 68 61 70 65 7d 0a 20 20 |{normals|hape}. |
|00003420| 7b 5c 64 65 66 5c 6e 6f | 72 6d 61 6c 73 68 61 70 |{\def\no|rmalshap|
|00003430| 65 7b 5c 72 6d 7d 7d 0a | 20 20 7b 5c 72 65 6c 61 |e{\rm}}.| {\rela|
|00003440| 78 7d 0a 0a 25 20 55 6e | 64 65 72 6c 69 6e 65 20 |x}..% Un|derline |
|00003450| 74 68 72 6f 75 67 68 20 | 64 65 73 63 65 6e 64 65 |through |descende|
|00003460| 72 73 3a 0a 5c 6c 65 74 | 5c 75 6e 64 65 72 74 65 |rs:.\let|\underte|
|00003470| 78 74 3d 5c 75 6e 64 65 | 72 62 61 72 0a 5c 64 65 |xt=\unde|rbar.\de|
|00003480| 66 5c 6c 6f 77 75 6e 64 | 65 72 74 65 78 74 23 31 |f\lowund|ertext#1|
|00003490| 7b 5c 69 66 6d 6d 6f 64 | 65 5c 75 6e 64 65 72 6c |{\ifmmod|e\underl|
|000034a0| 69 6e 65 7b 5c 76 70 68 | 61 6e 74 6f 6d 7b 79 7d |ine{\vph|antom{y}|
|000034b0| 5c 6d 62 6f 78 7b 23 31 | 7d 7d 5c 65 6c 73 65 0a |\mbox{#1|}}\else.|
|000034c0| 09 09 09 20 20 20 20 24 | 5c 75 6e 64 65 72 6c 69 |... $|\underli|
|000034d0| 6e 65 7b 5c 76 70 68 61 | 6e 74 6f 6d 7b 79 7d 5c |ne{\vpha|ntom{y}\|
|000034e0| 6d 62 6f 78 7b 23 31 7d | 7d 24 5c 66 69 7d 0a 0a |mbox{#1}|}$\fi}..|
|000034f0| 25 20 54 68 65 20 42 6f | 6f 6c 65 61 6e 20 76 61 |% The Bo|olean va|
|00003500| 6c 75 65 73 3a 0a 5c 64 | 65 66 5c 74 72 75 65 7b |lues:.\d|ef\true{|
|00003510| 5c 62 6f 6c 64 76 61 72 | 7b 74 72 75 65 7d 7d 0a |\boldvar|{true}}.|
|00003520| 5c 64 65 66 5c 66 61 6c | 73 65 7b 5c 62 6f 6c 64 |\def\fal|se{\bold|
|00003530| 76 61 72 7b 66 61 6c 73 | 65 7d 7d 0a 0a 25 20 54 |var{fals|e}}..% T|
|00003540| 68 65 20 73 69 6d 70 6c | 65 20 70 72 6f 67 72 61 |he simpl|e progra|
|00003550| 6d 73 3a 0a 5c 64 65 66 | 5c 41 42 4f 52 54 7b 5c |ms:.\def|\ABORT{\|
|00003560| 62 6f 6c 64 76 61 72 7b | 61 62 6f 72 74 7d 7d 0a |boldvar{|abort}}.|
|00003570| 5c 64 65 66 5c 53 4b 49 | 50 7b 5c 62 6f 6c 64 76 |\def\SKI|P{\boldv|
|00003580| 61 72 7b 73 6b 69 70 7d | 7d 0a 5c 64 65 66 5c 4e |ar{skip}|}.\def\N|
|00003590| 55 4c 4c 7b 5c 62 6f 6c | 64 76 61 72 7b 6e 75 6c |ULL{\bol|dvar{nul|
|000035a0| 6c 7d 7d 0a 0a 25 20 41 | 6e 20 61 62 62 72 65 76 |l}}..% A|n abbrev|
|000035b0| 69 61 74 69 6f 6e 3a 0a | 5c 64 65 66 5c 61 65 71 |iation:.|\def\aeq|
|000035c0| 7b 5c 41 43 54 49 4f 4e | 45 51 7d 0a 0a 25 25 20 |{\ACTION|EQ}..%% |
|000035d0| 44 72 61 77 20 61 20 62 | 6f 78 20 72 6f 75 6e 64 |Draw a b|ox round|
|000035e0| 20 73 6f 6d 65 74 68 69 | 6e 67 20 69 6e 20 61 20 | somethi|ng in a |
|000035f0| 70 72 6f 67 72 61 6d 3a | 0a 5c 64 65 66 5c 70 72 |program:|.\def\pr|
|00003600| 6f 67 62 6f 78 23 31 7b | 25 0a 20 20 25 20 53 65 |ogbox#1{|%. % Se|
|00003610| 74 20 23 31 20 69 6e 20 | 61 20 62 6f 78 2c 20 77 |t #1 in |a box, w|
|00003620| 69 74 68 20 6e 6f 20 74 | 61 62 20 73 65 74 74 69 |ith no t|ab setti|
|00003630| 6e 67 73 2c 20 61 6e 64 | 20 72 65 73 74 6f 72 65 |ngs, and| restore|
|00003640| 20 68 6f 72 69 7a 6f 6e | 74 61 6c 20 70 6f 73 69 | horizon|tal posi|
|00003650| 74 69 6f 6e 3a 0a 20 20 | 5c 72 6c 61 70 7b 5c 6b |tion:. |\rlap{\k|
|00003660| 65 72 6e 2d 5c 66 62 6f | 78 73 65 70 5c 6b 65 72 |ern-\fbo|xsep\ker|
|00003670| 6e 2d 30 2e 34 70 74 25 | 0a 09 5c 66 62 6f 78 7b |n-0.4pt%|..\fbox{|
|00003680| 24 5c 40 74 61 62 63 6f | 6d 6d 61 6e 64 73 6f 66 |$\@tabco|mmandsof|
|00003690| 66 5c 70 68 61 6e 74 6f | 6d 7b 23 31 7d 24 7d 7d |f\phanto|m{#1}$}}|
|000036a0| 25 0a 20 20 25 20 54 68 | 65 6e 20 73 65 74 20 69 |%. % Th|en set i|
|000036b0| 74 20 61 67 61 69 6e 20 | 61 73 20 6e 6f 72 6d 61 |t again |as norma|
|000036c0| 6c 3a 0a 20 20 23 31 5c | 20 7d 0a 0a 0a 0a 25 25 |l:. #1\| }....%%|
|000036d0| 25 25 25 25 25 25 25 25 | 25 25 25 25 25 25 25 25 |%%%%%%%%|%%%%%%%%|
|000036e0| 25 25 25 25 25 25 25 25 | 25 25 25 25 25 25 25 25 |%%%%%%%%|%%%%%%%%|
|000036f0| 25 25 25 25 25 25 25 25 | 25 25 25 25 25 25 25 25 |%%%%%%%%|%%%%%%%%|
|00003700| 25 25 25 25 25 25 25 0a | 25 25 25 20 53 65 63 74 |%%%%%%%.|%%% Sect|
|00003710| 69 6f 6e 20 28 32 29 2e | 20 7c 56 61 72 69 61 62 |ion (2).| |Variab|
|00003720| 6c 65 5f 4e 61 6d 65 73 | 7c 0a 25 25 25 25 25 25 |le_Names||.%%%%%%|
|00003730| 25 25 25 25 25 25 25 25 | 25 25 25 25 25 25 25 25 |%%%%%%%%|%%%%%%%%|
|00003740| 25 25 25 25 25 25 25 25 | 25 25 25 25 25 25 25 25 |%%%%%%%%|%%%%%%%%|
|00003750| 25 25 25 25 25 25 25 25 | 25 25 25 25 25 25 25 25 |%%%%%%%%|%%%%%%%%|
|00003760| 25 25 25 0a 0a 0a 25 25 | 25 20 57 65 20 75 73 65 |%%%...%%|% We use|
|00003770| 20 61 6e 20 69 64 65 61 | 20 66 72 6f 6d 20 52 61 | an idea| from Ra|
|00003780| 69 6e 65 72 20 53 63 68 | 6f 70 66 27 73 20 76 65 |iner Sch|opf's ve|
|00003790| 72 62 61 74 69 6d 20 73 | 74 79 6c 65 0a 25 25 25 |rbatim s|tyle.%%%|
|000037a0| 20 54 68 69 73 20 61 6c | 6c 6f 77 73 20 21 40 23 | This al|lows !@#|
|000037b0| 24 25 5e 26 2a 28 29 20 | 69 6e 20 76 61 72 69 61 |$%^&*() |in varia|
|000037c0| 62 6c 65 20 6e 61 6d 65 | 73 20 61 73 20 77 65 6c |ble name|s as wel|
|000037d0| 6c 20 61 73 20 5f 0a 25 | 25 25 20 54 68 69 73 20 |l as _.%|%% This |
|000037e0| 76 65 72 73 69 6f 6e 20 | 73 68 6f 75 6c 64 20 63 |version |should c|
|000037f0| 6f 70 65 20 62 65 74 74 | 65 72 20 77 69 74 68 20 |ope bett|er with |
|00003800| 6d 69 73 73 69 6e 67 20 | 7c 20 64 65 6c 69 6d 69 |missing || delimi|
|00003810| 74 65 72 73 3a 0a 0a 25 | 20 46 69 72 73 74 20 77 |ters:..%| First w|
|00003820| 65 20 64 65 66 69 6e 65 | 20 74 68 65 20 64 65 66 |e define| the def|
|00003830| 61 75 6c 74 20 5c 76 61 | 72 69 61 62 6c 65 66 6f |ault \va|riablefo|
|00003840| 6e 74 2c 20 5c 76 61 72 | 69 61 62 6c 65 66 6f 6e |nt, \var|iablefon|
|00003850| 74 65 6e 64 20 61 6e 64 | 20 5c 6b 65 79 77 6f 72 |tend and| \keywor|
|00003860| 64 3a 0a 0a 25 20 44 65 | 66 61 75 6c 74 20 76 61 |d:..% De|fault va|
|00003870| 72 69 61 62 6c 65 20 66 | 6f 6e 74 20 69 73 20 73 |riable f|ont is s|
|00003880| 6c 61 6e 74 65 64 2c 20 | 73 6f 20 5c 76 61 72 69 |lanted, |so \vari|
|00003890| 61 62 6c 65 66 6f 6e 74 | 65 6e 64 20 61 64 64 73 |ablefont|end adds|
|000038a0| 20 69 74 61 6c 69 63 20 | 63 6f 72 72 65 63 74 69 | italic |correcti|
|000038b0| 6f 6e 3a 0a 5c 6e 65 77 | 69 66 5c 69 66 40 63 6f |on:.\new|if\if@co|
|000038c0| 72 72 0a 5c 6c 65 74 5c | 76 61 72 69 61 62 6c 65 |rr.\let\|variable|
|000038d0| 66 6f 6e 74 3d 5c 73 6c | 25 0a 5c 64 65 66 5c 76 |font=\sl|%.\def\v|
|000038e0| 61 72 69 61 62 6c 65 66 | 6f 6e 74 65 6e 64 23 31 |ariablef|ontend#1|
|000038f0| 7b 5c 62 65 67 69 6e 67 | 72 6f 75 70 5c 66 75 74 |{\beging|roup\fut|
|00003900| 75 72 65 6c 65 74 5c 74 | 65 6d 70 5c 40 63 6f 72 |urelet\t|emp\@cor|
|00003910| 72 7d 25 20 67 6f 62 62 | 6c 65 20 74 68 65 20 5c |r}% gobb|le the \|
|00003920| 65 67 72 6f 75 70 0a 5c | 64 65 66 5c 6e 6f 40 63 |egroup.\|def\no@c|
|00003930| 6f 72 72 7b 5c 64 6f 7b | 2e 7d 5c 64 6f 7b 2c 7d |orr{\do{|.}\do{,}|
|00003940| 7d 0a 5c 64 65 66 5c 40 | 63 6f 72 72 7b 5c 64 65 |}.\def\@|corr{\de|
|00003950| 66 5c 64 6f 23 23 31 7b | 5c 69 66 78 5c 74 65 6d |f\do##1{|\ifx\tem|
|00003960| 70 23 23 31 5c 40 63 6f | 72 72 66 61 6c 73 65 5c |p##1\@co|rrfalse\|
|00003970| 66 69 7d 5c 40 63 6f 72 | 72 74 72 75 65 5c 6e 6f |fi}\@cor|rtrue\no|
|00003980| 40 63 6f 72 72 0a 09 20 | 20 20 20 5c 69 66 40 63 |@corr.. | \if@c|
|00003990| 6f 72 72 5c 2f 5c 65 6c | 73 65 5c 66 69 5c 65 6e |orr\/\el|se\fi\en|
|000039a0| 64 67 72 6f 75 70 5c 65 | 67 72 6f 75 70 7d 20 25 |dgroup\e|group} %|
|000039b0| 20 70 75 74 20 62 61 63 | 6b 20 74 68 65 20 5c 65 | put bac|k the \e|
|000039c0| 67 72 6f 75 70 0a 0a 25 | 20 44 65 66 61 75 6c 74 |group..%| Default|
|000039d0| 20 6b 65 79 77 6f 72 64 | 20 73 74 79 6c 65 20 69 | keyword| style i|
|000039e0| 73 20 62 6f 6c 64 20 75 | 6e 64 65 72 6c 69 6e 65 |s bold u|nderline|
|000039f0| 64 3a 0a 5c 64 65 66 5c | 6b 65 79 77 6f 72 64 23 |d:.\def\|keyword#|
|00003a00| 31 7b 5c 6d 62 6f 78 7b | 5c 75 6e 64 65 72 62 61 |1{\mbox{|\underba|
|00003a10| 72 7b 5c 6e 6f 72 6d 61 | 6c 73 68 61 70 65 5c 62 |r{\norma|lshape\b|
|00003a20| 66 20 23 31 7d 7d 7d 0a | 0a 25 20 46 6f 72 20 73 |f #1}}}.|.% For s|
|00003a30| 61 6e 73 2d 73 65 72 69 | 66 20 76 61 72 69 61 62 |ans-seri|f variab|
|00003a40| 6c 65 73 20 61 6e 64 20 | 6b 65 79 77 6f 72 64 73 |les and |keywords|
|00003a50| 3a 0a 5c 64 65 66 5c 73 | 66 76 61 72 69 61 62 6c |:.\def\s|fvariabl|
|00003a60| 65 73 7b 25 0a 20 20 5c | 6c 65 74 5c 76 61 72 69 |es{%. \|let\vari|
|00003a70| 61 62 6c 65 66 6f 6e 74 | 3d 5c 73 66 25 0a 20 20 |ablefont|=\sf%. |
|00003a80| 5c 64 65 66 5c 76 61 72 | 69 61 62 6c 65 66 6f 6e |\def\var|iablefon|
|00003a90| 74 65 6e 64 7b 7d 25 0a | 20 20 5c 64 65 66 5c 6b |tend{}%.| \def\k|
|00003aa0| 65 79 77 6f 72 64 23 23 | 31 7b 5c 6d 62 6f 78 7b |eyword##|1{\mbox{|
|00003ab0| 5c 75 6e 64 65 72 62 61 | 72 7b 5c 6e 6f 72 6d 61 |\underba|r{\norma|
|00003ac0| 6c 73 68 61 70 65 5c 62 | 66 5c 73 66 20 23 23 31 |lshape\b|f\sf ##1|
|00003ad0| 7d 7d 7d 7d 0a 0a 25 20 | 55 73 65 20 5c 73 63 72 |}}}}..% |Use \scr|
|00003ae0| 69 70 74 76 61 72 7c 66 | 6f 6f 7c 20 66 6f 72 20 |iptvar|f|oo| for |
|00003af0| 73 75 62 2f 73 75 70 65 | 72 2d 73 63 72 69 70 74 |sub/supe|r-script|
|00003b00| 20 76 61 72 69 61 62 6c | 65 73 3a 0a 5c 64 65 66 | variabl|es:.\def|
|00003b10| 5c 73 63 72 69 70 74 76 | 61 72 69 61 62 6c 65 66 |\scriptv|ariablef|
|00003b20| 6f 6e 74 7b 5c 73 63 72 | 69 70 74 73 69 7a 65 5c |ont{\scr|iptsize\|
|00003b30| 40 76 61 72 69 61 62 6c | 65 66 6f 6e 74 7d 25 0a |@variabl|efont}%.|
|00003b40| 5c 64 65 66 5c 73 63 72 | 69 70 74 76 61 72 7b 5c |\def\scr|iptvar{\|
|00003b50| 6c 65 74 5c 40 76 61 72 | 69 61 62 6c 65 66 6f 6e |let\@var|iablefon|
|00003b60| 74 3d 5c 76 61 72 69 61 | 62 6c 65 66 6f 6e 74 25 |t=\varia|blefont%|
|00003b70| 0a 09 20 20 20 20 20 20 | 20 5c 6c 65 74 5c 76 61 |.. | \let\va|
|00003b80| 72 69 61 62 6c 65 66 6f | 6e 74 3d 5c 73 63 72 69 |riablefo|nt=\scri|
|00003b90| 70 74 76 61 72 69 61 62 | 6c 65 66 6f 6e 74 25 0a |ptvariab|lefont%.|
|00003ba0| 09 20 20 20 20 20 20 20 | 5c 6c 65 74 5c 40 76 61 |. |\let\@va|
|00003bb0| 72 69 61 62 6c 65 66 6f | 6e 74 65 6e 64 3d 5c 76 |riablefo|ntend=\v|
|00003bc0| 61 72 69 61 62 6c 65 66 | 6f 6e 74 65 6e 64 25 0a |ariablef|ontend%.|
|00003bd0| 09 20 20 20 20 20 20 20 | 5c 64 65 66 5c 76 61 72 |. |\def\var|
|00003be0| 69 61 62 6c 65 66 6f 6e | 74 65 6e 64 7b 5c 6c 65 |iablefon|tend{\le|
|00003bf0| 74 5c 76 61 72 69 61 62 | 6c 65 66 6f 6e 74 3d 5c |t\variab|lefont=\|
|00003c00| 40 76 61 72 69 61 62 6c | 65 66 6f 6e 74 25 0a 09 |@variabl|efont%..|
|00003c10| 09 09 09 20 20 20 20 5c | 6c 65 74 5c 76 61 72 69 |... \|let\vari|
|00003c20| 61 62 6c 65 66 6f 6e 74 | 65 6e 64 3d 5c 40 76 61 |ablefont|end=\@va|
|00003c30| 72 69 61 62 6c 65 66 6f | 6e 74 65 6e 64 25 0a 09 |riablefo|ntend%..|
|00003c40| 09 09 09 20 20 20 20 5c | 40 76 61 72 69 61 62 6c |... \|@variabl|
|00003c50| 65 66 6f 6e 74 65 6e 64 | 7d 7d 0a 0a 25 20 54 68 |efontend|}}..% Th|
|00003c60| 69 73 20 73 65 63 74 69 | 6f 6e 20 69 73 20 6d 6f |is secti|on is mo|
|00003c70| 64 69 66 69 65 64 20 66 | 72 6f 6d 20 76 65 72 62 |dified f|rom verb|
|00003c80| 61 74 69 6d 2e 73 74 79 | 3a 0a 5c 6e 65 77 69 66 |atim.sty|:.\newif|
|00003c90| 5c 69 66 77 61 73 69 6e | 6d 6d 6f 64 65 20 5c 77 |\ifwasin|mmode \w|
|00003ca0| 61 73 69 6e 6d 6d 6f 64 | 65 66 61 6c 73 65 0a 5c |asinmmod|efalse.\|
|00003cb0| 62 65 67 69 6e 67 72 6f | 75 70 0a 20 20 5c 6c 63 |begingro|up. \lc|
|00003cc0| 63 6f 64 65 60 5c 7e 3d | 60 5c 5e 5e 4d 0a 20 20 |code`\~=|`\^^M. |
|00003cd0| 5c 6c 63 63 6f 64 65 60 | 5c 56 3d 60 5c 56 0a 20 |\lccode`|\V=`\V. |
|00003ce0| 20 5c 6c 6f 77 65 72 63 | 61 73 65 7b 25 0a 20 20 | \lowerc|ase{%. |
|00003cf0| 20 20 5c 67 64 65 66 5c | 76 61 72 69 61 62 6c 65 | \gdef\|variable|
|00003d00| 7b 25 20 66 69 72 73 74 | 20 73 61 76 65 20 6d 6d |{% first| save mm|
|00003d10| 6f 64 65 20 73 74 61 74 | 75 73 3a 0a 20 20 20 20 |ode stat|us:. |
|00003d20| 20 20 5c 69 66 6d 6d 6f | 64 65 5c 77 61 73 69 6e | \ifmmo|de\wasin|
|00003d30| 6d 6d 6f 64 65 74 72 75 | 65 5c 65 6c 73 65 5c 77 |mmodetru|e\else\w|
|00003d40| 61 73 69 6e 6d 6d 6f 64 | 65 66 61 6c 73 65 5c 66 |asinmmod|efalse\f|
|00003d50| 69 0a 20 20 20 20 20 20 | 5c 6d 62 6f 78 5c 62 67 |i. |\mbox\bg|
|00003d60| 72 6f 75 70 5c 62 65 67 | 69 6e 67 72 6f 75 70 0a |roup\beg|ingroup.|
|00003d70| 20 20 20 20 20 20 5c 76 | 61 72 69 61 62 6c 65 66 | \v|ariablef|
|00003d80| 6f 6e 74 0a 20 20 20 20 | 20 20 5c 63 61 74 63 6f |ont. | \catco|
|00003d90| 64 65 60 5c 5e 5e 4d 5c | 61 63 74 69 76 65 0a 20 |de`\^^M\|active. |
|00003da0| 20 20 20 20 20 5c 73 61 | 66 65 61 74 0a 20 20 20 | \sa|feat. |
|00003db0| 20 20 20 5c 64 65 66 7e | 7b 5c 65 6e 64 67 72 6f | \def~|{\endgro|
|00003dc0| 75 70 5c 65 67 72 6f 75 | 70 5c 5c 0a 09 20 20 20 |up\egrou|p\\.. |
|00003dd0| 20 5c 40 6c 61 74 65 78 | 65 72 72 7b 56 61 72 69 | \@latex|err{Vari|
|00003de0| 61 62 6c 65 20 6e 61 6d | 65 20 65 6e 64 65 64 20 |able nam|e ended |
|00003df0| 62 79 20 65 6e 64 20 6f | 66 20 6c 69 6e 65 2e 7d |by end o|f line.}|
|00003e00| 5c 40 65 68 63 7d 25 0a | 20 20 20 20 20 20 5c 63 |\@ehc}%.| \c|
|00003e10| 61 74 63 6f 64 65 60 5c | 5f 5c 61 63 74 69 76 65 |atcode`\|_\active|
|00003e20| 0a 20 20 20 20 20 20 5c | 6c 65 74 5c 64 6f 5c 40 |. \|let\do\@|
|00003e30| 6d 61 6b 65 6f 74 68 65 | 72 0a 20 20 20 20 20 20 |makeothe|r. |
|00003e40| 5c 64 6f 5c 7b 5c 64 6f | 5c 7d 5c 64 6f 5c 24 5c |\do\{\do|\}\do\$\|
|00003e50| 64 6f 5c 26 25 0a 20 20 | 20 20 20 20 5c 64 6f 5c |do\&%. | \do\|
|00003e60| 23 5c 64 6f 5c 5e 5c 64 | 6f 5c 5e 5e 4b 5c 64 6f |#\do\^\d|o\^^K\do|
|00003e70| 5c 5e 5e 41 5c 64 6f 5c | 25 5c 64 6f 5c 7e 5c 64 |\^^A\do\|%\do\~\d|
|00003e80| 6f 5c 40 5c 40 73 76 61 | 72 69 61 62 6c 65 7d 7d |o\@\@sva|riable}}|
|00003e90| 0a 5c 65 6e 64 67 72 6f | 75 70 0a 5c 64 65 66 5c |.\endgro|up.\def\|
|00003ea0| 40 73 76 61 72 69 61 62 | 6c 65 7b 25 0a 20 20 5c |@svariab|le{%. \|
|00003eb0| 63 61 74 63 6f 64 65 60 | 5c 7c 5c 61 63 74 69 76 |catcode`|\|\activ|
|00003ec0| 65 0a 20 20 5c 6c 63 63 | 6f 64 65 60 5c 7e 60 5c |e. \lcc|ode`\~`\|
|00003ed0| 7c 25 0a 20 20 5c 6c 6f | 77 65 72 63 61 73 65 7b ||%. \lo|wercase{|
|00003ee0| 5c 64 65 66 7e 7b 5c 65 | 6e 64 67 72 6f 75 70 25 |\def~{\e|ndgroup%|
|00003ef0| 20 69 66 20 77 65 20 77 | 65 72 65 20 6e 6f 74 20 | if we w|ere not |
|00003f00| 69 6e 20 6d 6d 6f 64 65 | 2c 20 64 6f 20 69 74 61 |in mmode|, do ita|
|00003f10| 6c 69 63 20 63 6f 72 72 | 3a 0a 09 09 20 20 20 5c |lic corr|:... \|
|00003f20| 69 66 77 61 73 69 6e 6d | 6d 6f 64 65 5c 6c 65 74 |ifwasinm|mode\let|
|00003f30| 5c 6e 65 78 74 3d 5c 2f | 25 20 77 61 73 20 5c 72 |\next=\/|% was \r|
|00003f40| 65 6c 61 78 0a 09 09 20 | 20 20 20 20 5c 65 6c 73 |elax... | \els|
|00003f50| 65 5c 6c 65 74 5c 6e 65 | 78 74 3d 5c 76 61 72 69 |e\let\ne|xt=\vari|
|00003f60| 61 62 6c 65 66 6f 6e 74 | 65 6e 64 5c 66 69 0a 09 |ablefont|end\fi..|
|00003f70| 09 20 20 20 5c 6e 65 78 | 74 0a 09 09 20 20 20 5c |. \nex|t... \|
|00003f80| 65 67 72 6f 75 70 7d 25 | 0a 09 20 20 20 20 20 5c |egroup}%|.. \|
|00003f90| 6c 65 74 5c 40 64 6f 76 | 61 72 7e 7d 25 0a 20 20 |let\@dov|ar~}%. |
|00003fa0| 5c 6c 65 61 76 65 76 6d | 6f 64 65 5c 6e 75 6c 6c |\leavevm|ode\null|
|00003fb0| 7d 0a 0a 5c 63 61 74 63 | 6f 64 65 60 5c 7c 3d 31 |}..\catc|ode`\|=1|
|00003fc0| 32 5c 72 65 6c 61 78 0a | 5c 6c 65 74 5c 6f 72 69 |2\relax.|\let\ori|
|00003fd0| 67 62 61 72 3d 7c 0a 5c | 63 61 74 63 6f 64 65 60 |gbar=|.\|catcode`|
|00003fe0| 5c 7c 5c 61 63 74 69 76 | 65 0a 0a 25 20 4d 61 6b |\|\activ|e..% Mak|
|00003ff0| 65 20 40 20 61 63 74 69 | 76 65 20 61 6e 64 20 65 |e @ acti|ve and e|
|00004000| 71 75 61 6c 20 74 6f 20 | 5c 63 68 61 72 20 36 34 |qual to |\char 64|
|00004010| 3a 0a 5c 62 65 67 69 6e | 67 72 6f 75 70 0a 20 20 |:.\begin|group. |
|00004020| 5c 63 61 74 63 6f 64 65 | 60 5c 40 3d 5c 61 63 74 |\catcode|`\@=\act|
|00004030| 69 76 65 0a 20 20 5c 67 | 64 65 66 5c 73 61 66 65 |ive. \g|def\safe|
|00004040| 61 74 7b 5c 63 61 74 63 | 6f 64 65 60 5c 40 3d 5c |at{\catc|ode`\@=\|
|00004050| 61 63 74 69 76 65 5c 64 | 65 66 40 7b 5c 63 68 61 |active\d|ef@{\cha|
|00004060| 72 36 34 5c 72 65 6c 61 | 78 7d 7d 25 0a 5c 65 6e |r64\rela|x}}%.\en|
|00004070| 64 67 72 6f 75 70 0a 0a | 5c 64 65 66 7c 7b 5c 69 |dgroup..|\def|{\i|
|00004080| 66 78 5c 40 73 68 61 72 | 70 5c 72 65 6c 61 78 5c |fx\@shar|p\relax\|
|00004090| 6f 72 69 67 62 61 72 5c | 65 6c 73 65 5c 72 65 6c |origbar\|else\rel|
|000040a0| 61 78 5c 70 40 64 6f 76 | 61 72 5c 66 69 7d 0a 5c |ax\p@dov|ar\fi}.\|
|000040b0| 64 65 66 5c 70 40 64 6f | 76 61 72 23 31 7b 23 31 |def\p@do|var#1{#1|
|000040c0| 5c 70 72 6f 74 65 63 74 | 5c 40 64 6f 76 61 72 5c |\protect|\@dovar\|
|000040d0| 6e 75 6c 6c 7d 0a 5c 64 | 65 66 5c 40 64 6f 76 61 |null}.\d|ef\@dova|
|000040e0| 72 7b 5c 76 61 72 69 61 | 62 6c 65 7d 20 25 20 23 |r{\varia|ble} % #|
|000040f0| 31 20 3d 20 5c 66 69 20 | 66 72 6f 6d 20 64 65 66 |1 = \fi |from def|
|00004100| 6e 20 6f 66 20 7c 0a 0a | 25 25 20 53 65 74 20 75 |n of |..|%% Set u|
|00004110| 70 20 5f 20 61 73 20 5c | 5f 20 6f 75 74 73 69 64 |p _ as \|_ outsid|
|00004120| 65 20 6d 61 74 68 20 6d | 6f 64 65 20 61 6e 64 20 |e math m|ode and |
|00004130| 5c 73 62 20 69 6e 20 6d | 61 74 68 20 6d 6f 64 65 |\sb in m|ath mode|
|00004140| 3a 0a 25 25 20 28 69 6e | 20 63 61 73 65 20 79 6f |:.%% (in| case yo|
|00004150| 75 20 75 73 65 20 5f 20 | 6f 75 74 73 69 64 65 20 |u use _ |outside |
|00004160| 6d 61 74 68 20 6d 6f 64 | 65 29 0a 5c 63 61 74 63 |math mod|e).\catc|
|00004170| 6f 64 65 60 5c 5f 3d 5c | 61 63 74 69 76 65 20 5c |ode`\_=\|active \|
|00004180| 64 65 66 5f 7b 5c 69 66 | 6d 6d 6f 64 65 5c 73 62 |def_{\if|mmode\sb|
|00004190| 5c 65 6c 73 65 5c 70 40 | 73 62 5c 66 69 7d 0a 5c |\else\p@|sb\fi}.\|
|000041a0| 64 65 66 5c 70 40 73 62 | 7b 5c 70 72 6f 74 65 63 |def\p@sb|{\protec|
|000041b0| 74 5c 40 73 62 7d 0a 5c | 64 65 66 5c 40 73 62 7b |t\@sb}.\|def\@sb{|
|000041c0| 5c 5f 7d 0a 0a 0a 0a 25 | 25 25 25 25 25 25 25 25 |\_}....%|%%%%%%%%|
|000041d0| 25 25 25 25 25 25 25 25 | 25 25 25 25 25 25 25 25 |%%%%%%%%|%%%%%%%%|
|000041e0| 25 25 25 25 25 25 25 25 | 25 25 25 25 25 25 25 25 |%%%%%%%%|%%%%%%%%|
|000041f0| 25 25 25 25 25 25 25 25 | 25 25 25 25 25 25 25 25 |%%%%%%%%|%%%%%%%%|
|00004200| 0a 25 25 25 20 53 65 63 | 74 69 6f 6e 20 28 33 29 |.%%% Sec|tion (3)|
|00004210| 2e 20 50 72 6f 67 72 61 | 6d 20 53 63 68 65 6d 61 |. Progra|m Schema|
|00004220| 73 2e 0a 25 25 25 25 25 | 25 25 25 25 25 25 25 25 |s..%%%%%|%%%%%%%%|
|00004230| 25 25 25 25 25 25 25 25 | 25 25 25 25 25 25 25 25 |%%%%%%%%|%%%%%%%%|
|00004240| 25 25 25 25 25 25 25 25 | 25 25 25 25 25 25 25 25 |%%%%%%%%|%%%%%%%%|
|00004250| 25 25 25 25 25 25 25 25 | 25 25 25 25 0a 0a 0a 25 |%%%%%%%%|%%%%...%|
|00004260| 20 44 65 66 69 6e 69 74 | 69 6f 6e 73 20 66 6f 72 | Definit|ions for|
|00004270| 20 62 6f 6c 64 20 73 75 | 62 73 63 72 69 70 74 65 | bold su|bscripte|
|00004280| 64 20 73 79 6d 62 6f 6c | 73 2c 20 65 67 3a 0a 25 |d symbol|s, eg:.%|
|00004290| 20 20 5c 42 31 20 20 6f | 72 20 5c 42 7b 7d 20 20 | \B1 o|r \B{} |
|000042a0| 6f 72 20 20 5c 42 7b 31 | 32 7d 20 2e 2e 2e 20 65 |or \B{1|2} ... e|
|000042b0| 74 63 2e 0a 25 20 57 65 | 20 63 68 65 63 6b 20 66 |tc..% We| check f|
|000042c0| 6f 72 20 27 20 73 6f 20 | 5c 42 27 2c 20 5c 53 27 |or ' so |\B', \S'|
|000042d0| 27 27 20 65 74 63 20 77 | 69 6c 6c 20 77 6f 72 6b |'' etc w|ill work|
|000042e0| 20 61 73 20 65 78 70 65 | 63 74 65 64 2e 0a 5c 64 | as expe|cted..\d|
|000042f0| 65 66 5c 41 7b 5c 62 6f | 6c 64 73 75 62 7b 41 7d |ef\A{\bo|ldsub{A}|
|00004300| 7d 0a 5c 64 65 66 5c 42 | 7b 5c 62 6f 6c 64 73 75 |}.\def\B|{\boldsu|
|00004310| 62 7b 42 7d 7d 0a 5c 64 | 65 66 5c 50 7b 5c 62 6f |b{B}}.\d|ef\P{\bo|
|00004320| 6c 64 73 75 62 7b 50 7d | 7d 0a 5c 64 65 66 5c 51 |ldsub{P}|}.\def\Q|
|00004330| 7b 5c 62 6f 6c 64 73 75 | 62 7b 51 7d 7d 0a 5c 64 |{\boldsu|b{Q}}.\d|
|00004340| 65 66 5c 52 7b 5c 62 6f | 6c 64 73 75 62 7b 52 7d |ef\R{\bo|ldsub{R}|
|00004350| 7d 0a 5c 64 65 66 5c 53 | 7b 5c 62 6f 6c 64 73 75 |}.\def\S|{\boldsu|
|00004360| 62 7b 53 7d 7d 0a 5c 64 | 65 66 5c 54 7b 5c 62 6f |b{S}}.\d|ef\T{\bo|
|00004370| 6c 64 73 75 62 7b 54 7d | 7d 0a 5c 64 65 66 5c 5a |ldsub{T}|}.\def\Z|
|00004380| 7b 5c 62 6f 6c 64 73 75 | 62 7b 5a 7d 7d 0a 0a 25 |{\boldsu|b{Z}}..%|
|00004390| 20 73 6f 6d 65 20 62 6f | 6c 64 20 6c 65 74 74 65 | some bo|ld lette|
|000043a0| 72 73 3a 0a 5c 64 65 66 | 5c 64 7b 5c 62 6f 6c 64 |rs:.\def|\d{\bold|
|000043b0| 73 75 62 7b 64 7d 7d 0a | 5c 64 65 66 5c 74 7b 5c |sub{d}}.|\def\t{\|
|000043c0| 62 6f 6c 64 73 75 62 7b | 74 7d 7d 0a 5c 64 65 66 |boldsub{|t}}.\def|
|000043d0| 5c 77 7b 5c 62 6f 6c 64 | 73 75 62 7b 77 7d 7d 0a |\w{\bold|sub{w}}.|
|000043e0| 5c 64 65 66 5c 78 7b 5c | 62 6f 6c 64 73 75 62 7b |\def\x{\|boldsub{|
|000043f0| 78 7d 7d 0a 5c 64 65 66 | 5c 79 7b 5c 62 6f 6c 64 |x}}.\def|\y{\bold|
|00004400| 73 75 62 7b 79 7d 7d 0a | 5c 64 65 66 5c 7a 7b 5c |sub{y}}.|\def\z{\|
|00004410| 62 6f 6c 64 73 75 62 7b | 7a 7d 7d 0a 0a 5c 6e 65 |boldsub{|z}}..\ne|
|00004420| 77 69 66 5c 69 66 4d 6d | 6f 64 65 20 5c 4d 6d 6f |wif\ifMm|ode \Mmo|
|00004430| 64 65 66 61 6c 73 65 0a | 0a 5c 64 65 66 5c 62 6f |defalse.|.\def\bo|
|00004440| 6c 64 76 61 72 23 31 7b | 7b 5c 6d 62 6f 78 7b 5c |ldvar#1{|{\mbox{\|
|00004450| 6e 6f 72 6d 61 6c 73 68 | 61 70 65 5c 62 66 20 23 |normalsh|ape\bf #|
|00004460| 31 7d 7d 7d 0a 0a 5c 64 | 65 66 5c 62 6f 6c 64 73 |1}}}..\d|ef\bolds|
|00004470| 75 62 23 31 7b 25 0a 20 | 20 5c 72 65 6c 61 78 25 |ub#1{%. | \relax%|
|00004480| 20 74 6f 20 66 6f 6f 6c | 20 61 72 72 61 79 20 61 | to fool| array a|
|00004490| 6e 64 20 6f 74 68 65 72 | 20 61 6c 69 67 6e 6d 65 |nd other| alignme|
|000044a0| 6e 74 73 0a 20 20 5c 69 | 66 6d 6d 6f 64 65 0a 20 |nts. \i|fmmode. |
|000044b0| 20 20 20 5c 4d 6d 6f 64 | 65 74 72 75 65 0a 20 20 | \Mmod|etrue. |
|000044c0| 5c 65 6c 73 65 0a 20 20 | 20 20 24 5c 4d 6d 6f 64 |\else. | $\Mmod|
|000044d0| 65 66 61 6c 73 65 0a 20 | 20 5c 66 69 0a 20 5c 6d |efalse. | \fi. \m|
|000044e0| 62 6f 78 7b 5c 6e 6f 72 | 6d 61 6c 73 68 61 70 65 |box{\nor|malshape|
|000044f0| 5c 62 66 20 23 31 7d 25 | 0a 20 5c 40 62 6f 6c 64 |\bf #1}%|. \@bold|
|00004500| 73 75 62 0a 7d 0a 0a 20 | 20 20 25 20 55 73 65 20 |sub.}.. | % Use |
|00004510| 5c 6d 61 74 68 63 68 6f | 69 63 65 20 28 74 79 70 |\mathcho|ice (typ|
|00004520| 65 73 65 74 73 20 61 6c | 6c 20 34 29 20 69 66 20 |esets al|l 4) if |
|00004530| 74 68 69 73 20 69 73 20 | 6e 65 65 64 65 64 20 66 |this is |needed f|
|00004540| 6f 72 0a 20 20 20 25 20 | 73 75 62 73 63 72 69 70 |or. % |subscrip|
|00004550| 74 73 20 6f 72 20 73 75 | 70 65 72 73 63 72 69 70 |ts or su|perscrip|
|00004560| 74 73 20 28 63 6f 73 74 | 73 20 7e 30 2e 35 20 73 |ts (cost|s ~0.5 s|
|00004570| 65 63 6f 6e 64 73 20 70 | 65 72 20 73 79 6d 62 6f |econds p|er symbo|
|00004580| 6c 21 29 3a 0a 20 20 20 | 25 20 4e 42 20 75 73 65 |l!):. |% NB use|
|00004590| 20 6f 66 20 5c 74 65 78 | 74 20 73 68 6f 75 6c 64 | of \tex|t should|
|000045a0| 20 66 69 78 20 74 68 69 | 73 20 77 69 74 68 20 41 | fix thi|s with A|
|000045b0| 4d 53 4c 61 54 65 58 2e | 0a 20 20 20 25 5c 6d 61 |MSLaTeX.|. %\ma|
|000045c0| 74 68 63 68 6f 69 63 65 | 7b 5c 6d 62 6f 78 7b 5c |thchoice|{\mbox{\|
|000045d0| 73 65 72 69 65 73 7b 62 | 78 7d 5c 73 68 61 70 65 |series{b|x}\shape|
|000045e0| 7b 6e 7d 5c 73 65 6c 65 | 63 74 66 6f 6e 74 20 23 |{n}\sele|ctfont #|
|000045f0| 31 7d 7d 25 0a 20 20 20 | 25 20 20 20 20 20 20 20 |1}}%. |% |
|00004600| 20 20 20 20 7b 5c 6d 62 | 6f 78 7b 5c 73 65 72 69 | {\mb|ox{\seri|
|00004610| 65 73 7b 62 78 7d 5c 73 | 68 61 70 65 7b 6e 7d 5c |es{bx}\s|hape{n}\|
|00004620| 73 65 6c 65 63 74 66 6f | 6e 74 20 23 31 7d 7d 25 |selectfo|nt #1}}%|
|00004630| 0a 20 20 20 25 20 20 20 | 20 20 20 20 20 20 20 20 |. % | |
|00004640| 7b 5c 6d 62 6f 78 7b 5c | 6e 6f 72 6d 61 6c 73 68 |{\mbox{\|normalsh|
|00004650| 61 70 65 5c 62 66 5c 73 | 63 72 69 70 74 73 69 7a |ape\bf\s|criptsiz|
|00004660| 65 20 23 31 7d 7d 25 0a | 20 20 20 25 20 20 20 20 |e #1}}%.| % |
|00004670| 20 20 20 20 20 20 20 7b | 5c 6d 62 6f 78 7b 5c 6e | {|\mbox{\n|
|00004680| 6f 72 6d 61 6c 73 68 61 | 70 65 5c 62 66 5c 74 69 |ormalsha|pe\bf\ti|
|00004690| 6e 79 20 23 31 7d 7d 25 | 0a 0a 5c 64 65 66 5c 40 |ny #1}}%|..\def\@|
|000046a0| 6e 6f 74 68 69 6e 67 7b | 7d 20 5c 64 65 66 5c 40 |nothing{|} \def\@|
|000046b0| 70 72 69 6d 65 7b 27 7d | 0a 5c 64 65 66 5c 40 62 |prime{'}|.\def\@b|
|000046c0| 6f 6c 64 73 75 62 23 31 | 7b 25 0a 20 20 20 5c 64 |oldsub#1|{%. \d|
|000046d0| 65 66 5c 40 62 6f 6c 64 | 73 75 62 74 68 69 6e 67 |ef\@bold|subthing|
|000046e0| 7b 23 31 7d 25 20 73 75 | 62 73 63 72 69 70 74 0a |{#1}% su|bscript.|
|000046f0| 20 20 20 5c 69 66 78 5c | 40 62 6f 6c 64 73 75 62 | \ifx\|@boldsub|
|00004700| 74 68 69 6e 67 5c 40 6e | 6f 74 68 69 6e 67 25 20 |thing\@n|othing% |
|00004710| 65 6d 70 74 79 0a 20 20 | 20 20 20 20 5c 6c 65 74 |empty. | \let|
|00004720| 5c 40 62 6f 6c 64 73 75 | 62 6e 65 78 74 5c 40 62 |\@boldsu|bnext\@b|
|00004730| 6f 6c 64 73 75 62 66 69 | 6e 69 73 68 0a 20 20 20 |oldsubfi|nish. |
|00004740| 5c 65 6c 73 65 0a 20 20 | 20 20 20 20 5c 69 66 78 |\else. | \ifx|
|00004750| 5c 40 62 6f 6c 64 73 75 | 62 74 68 69 6e 67 5c 40 |\@boldsu|bthing\@|
|00004760| 70 72 69 6d 65 25 0a 09 | 20 5c 64 65 66 5c 40 62 |prime%..| \def\@b|
|00004770| 6f 6c 64 73 75 62 6e 65 | 78 74 7b 5e 5c 62 67 72 |oldsubne|xt{^\bgr|
|00004780| 6f 75 70 5c 70 72 69 6d | 65 5c 40 61 62 73 6f 72 |oup\prim|e\@absor|
|00004790| 62 70 72 69 6d 65 73 7d | 25 0a 20 20 20 20 20 20 |bprimes}|%. |
|000047a0| 5c 65 6c 73 65 0a 09 20 | 5c 64 65 66 5c 40 62 6f |\else.. |\def\@bo|
|000047b0| 6c 64 73 75 62 6e 65 78 | 74 7b 5f 7b 23 31 7d 5c |ldsubnex|t{_{#1}\|
|000047c0| 40 62 6f 6c 64 73 75 62 | 66 69 6e 69 73 68 7d 5c |@boldsub|finish}\|
|000047d0| 66 69 0a 20 20 20 5c 66 | 69 0a 20 20 20 5c 40 62 |fi. \f|i. \@b|
|000047e0| 6f 6c 64 73 75 62 6e 65 | 78 74 0a 7d 0a 0a 5c 64 |oldsubne|xt.}..\d|
|000047f0| 65 66 5c 40 61 62 73 6f | 72 62 70 72 69 6d 65 73 |ef\@abso|rbprimes|
|00004800| 7b 5c 66 75 74 75 72 65 | 6c 65 74 5c 40 62 6f 6c |{\future|let\@bol|
|00004810| 64 73 75 62 6e 65 78 74 | 5c 40 73 65 65 69 66 70 |dsubnext|\@seeifp|
|00004820| 72 69 6d 65 7d 0a 5c 64 | 65 66 5c 40 73 65 65 69 |rime}.\d|ef\@seei|
|00004830| 66 70 72 69 6d 65 7b 25 | 0a 20 20 20 5c 69 66 78 |fprime{%|. \ifx|
|00004840| 5c 40 62 6f 6c 64 73 75 | 62 6e 65 78 74 27 25 0a |\@boldsu|bnext'%.|
|00004850| 20 20 20 20 20 20 5c 64 | 65 66 5c 40 62 6f 6c 64 | \d|ef\@bold|
|00004860| 73 75 62 6e 65 78 74 7b | 5c 40 67 65 74 70 72 69 |subnext{|\@getpri|
|00004870| 6d 65 7d 25 0a 20 20 20 | 5c 65 6c 73 65 0a 20 20 |me}%. |\else. |
|00004880| 20 20 20 20 5c 64 65 66 | 5c 40 62 6f 6c 64 73 75 | \def|\@boldsu|
|00004890| 62 6e 65 78 74 7b 5c 65 | 67 72 6f 75 70 5c 40 62 |bnext{\e|group\@b|
|000048a0| 6f 6c 64 73 75 62 66 69 | 6e 69 73 68 7d 25 0a 20 |oldsubfi|nish}%. |
|000048b0| 20 20 5c 66 69 0a 20 20 | 20 5c 40 62 6f 6c 64 73 | \fi. | \@bolds|
|000048c0| 75 62 6e 65 78 74 0a 7d | 0a 5c 64 65 66 5c 40 67 |ubnext.}|.\def\@g|
|000048d0| 65 74 70 72 69 6d 65 27 | 7b 5c 70 72 69 6d 65 5c |etprime'|{\prime\|
|000048e0| 40 61 62 73 6f 72 62 70 | 72 69 6d 65 73 7d 0a 5c |@absorbp|rimes}.\|
|000048f0| 64 65 66 5c 40 62 6f 6c | 64 73 75 62 66 69 6e 69 |def\@bol|dsubfini|
|00004900| 73 68 7b 5c 69 66 4d 6d | 6f 64 65 5c 65 6c 73 65 |sh{\ifMm|ode\else|
|00004910| 24 5c 66 69 7d 0a 0a 0a | 0a 25 25 25 25 25 25 25 |$\fi}...|.%%%%%%%|
|00004920| 25 25 25 25 25 25 25 25 | 25 25 25 25 25 25 25 25 |%%%%%%%%|%%%%%%%%|
|00004930| 25 25 25 25 25 25 25 25 | 25 25 25 25 25 25 25 25 |%%%%%%%%|%%%%%%%%|
|00004940| 25 25 25 25 25 25 25 25 | 25 25 25 25 25 25 25 25 |%%%%%%%%|%%%%%%%%|
|00004950| 25 25 0a 25 25 25 20 53 | 65 63 74 69 6f 6e 20 28 |%%.%%% S|ection (|
|00004960| 34 29 2e 20 4d 61 74 68 | 73 20 6e 6f 74 61 74 69 |4). Math|s notati|
|00004970| 6f 6e 20 75 73 65 64 20 | 69 6e 20 70 72 6f 67 72 |on used |in progr|
|00004980| 61 6d 73 0a 25 25 25 25 | 25 25 25 25 25 25 25 25 |ams.%%%%|%%%%%%%%|
|00004990| 25 25 25 25 25 25 25 25 | 25 25 25 25 25 25 25 25 |%%%%%%%%|%%%%%%%%|
|000049a0| 25 25 25 25 25 25 25 25 | 25 25 25 25 25 25 25 25 |%%%%%%%%|%%%%%%%%|
|000049b0| 25 25 25 25 25 25 25 25 | 25 25 25 25 25 0a 0a 0a |%%%%%%%%|%%%%%...|
|000049c0| 25 20 4e 6f 74 61 74 69 | 6f 6e 20 66 6f 72 20 73 |% Notati|on for s|
|000049d0| 65 74 73 20 6f 66 20 74 | 68 65 20 66 6f 72 6d 20 |ets of t|he form |
|000049e0| 7b 2e 2e 2e 7c 2e 2e 2e | 7d 20 3a 0a 25 20 45 67 |{...|...|} :.% Eg|
|000049f0| 3a 20 5c 73 65 74 7b 78 | 20 5c 69 6e 20 4e 20 7c |: \set{x| \in N ||
|00004a00| 20 78 3e 30 7d 20 20 62 | 65 63 6f 6d 65 73 3a 0a | x>0} b|ecomes:.|
|00004a10| 25 20 5c 6c 65 66 74 5c | 7b 5c 6c 65 66 74 2e 5c |% \left\|{\left.\|
|00004a20| 2c 20 20 78 20 5c 69 6e | 20 4e 20 5c 3a 5c 72 69 |, x \in| N \:\ri|
|00004a30| 67 68 74 5c 6f 72 69 67 | 62 61 72 5c 3a 20 78 3e |ght\orig|bar\: x>|
|00004a40| 30 20 5c 2c 5c 72 69 67 | 68 74 5c 7d 0a 25 20 73 |0 \,\rig|ht\}.% s|
|00004a50| 65 74 20 62 72 61 63 6b | 65 74 73 20 61 6e 64 20 |et brack|ets and |
|00004a60| 7c 20 67 72 6f 77 20 74 | 6f 20 66 69 74 20 74 68 || grow t|o fit th|
|00004a70| 65 20 73 69 7a 65 20 69 | 66 20 74 68 65 69 72 20 |e size i|f their |
|00004a80| 63 6f 6e 74 65 6e 74 73 | 2e 0a 25 20 41 6c 73 6f |contents|..% Also|
|00004a90| 3a 20 5c 62 69 67 73 65 | 74 7b 2e 2e 2e 7c 2e 2e |: \bigse|t{...|..|
|00004aa0| 2e 7d 20 62 65 63 6f 6d | 65 73 3a 20 0a 25 20 20 |.} becom|es: .% |
|00004ab0| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 | | |
|00004ac0| 20 20 20 20 20 20 5c 62 | 69 67 6c 5c 7b 5c 2c 20 | \b|igl\{\, |
|00004ad0| 2e 2e 2e 20 5c 6d 61 74 | 68 72 65 6c 7b 5c 62 69 |... \mat|hrel{\bi|
|00004ae0| 67 6d 5c 6f 72 69 67 62 | 61 72 7d 20 2e 2e 2e 20 |gm\origb|ar} ... |
|00004af0| 5c 2c 20 5c 62 69 67 72 | 5c 7d 0a 25 20 5c 62 69 |\, \bigr|\}.% \bi|
|00004b00| 67 73 65 74 20 69 73 20 | 69 6e 20 61 6e 20 61 6c |gset is |in an al|
|00004b10| 69 67 6e 65 64 20 65 6e | 76 69 72 6f 6e 6d 65 6e |igned en|vironmen|
|00004b20| 74 2c 20 73 6f 20 69 74 | 20 63 61 6e 20 69 6e 63 |t, so it| can inc|
|00004b30| 6c 75 64 65 20 5c 5c 0a | 25 20 28 41 4d 53 4c 61 |lude \\.|% (AMSLa|
|00004b40| 54 65 58 20 6f 6e 6c 79 | 29 0a 25 0a 5c 64 65 66 |TeX only|).%.\def|
|00004b50| 5c 73 65 74 23 31 7b 5c | 40 40 73 65 74 23 31 5c |\set#1{\|@@set#1\|
|00004b60| 40 65 6e 64 7d 20 25 20 | 73 74 72 69 70 20 6f 66 |@end} % |strip of|
|00004b70| 20 74 68 65 20 7b 7d 20 | 61 6e 64 20 70 61 73 73 | the {} |and pass|
|00004b80| 20 74 6f 20 5c 40 40 73 | 65 74 0a 5c 64 65 66 5c | to \@@s|et.\def\|
|00004b90| 40 40 73 65 74 23 31 7c | 23 32 5c 40 65 6e 64 7b |@@set#1||#2\@end{|
|00004ba0| 5c 6c 65 66 74 5c 7b 5c | 6c 65 66 74 2e 5c 2c 20 |\left\{\|left.\, |
|00004bb0| 23 31 20 5c 3a 5c 72 69 | 67 68 74 5c 6f 72 69 67 |#1 \:\ri|ght\orig|
|00004bc0| 62 61 72 5c 3a 0a 09 09 | 20 20 20 20 20 23 32 20 |bar\:...| #2 |
|00004bd0| 5c 2c 5c 72 69 67 68 74 | 5c 7d 20 7d 0a 5c 64 65 |\,\right|\} }.\de|
|00004be0| 66 5c 62 69 67 73 65 74 | 23 31 7b 5c 40 62 69 67 |f\bigset|#1{\@big|
|00004bf0| 73 65 74 23 31 5c 40 65 | 6e 64 7d 20 25 20 73 74 |set#1\@e|nd} % st|
|00004c00| 72 69 70 20 6f 66 20 74 | 68 65 20 7b 7d 20 61 6e |rip of t|he {} an|
|00004c10| 64 20 70 61 73 73 20 74 | 6f 20 5c 40 62 69 67 73 |d pass t|o \@bigs|
|00004c20| 65 74 0a 5c 40 69 66 75 | 6e 64 65 66 69 6e 65 64 |et.\@ifu|ndefined|
|00004c30| 7b 61 6c 69 67 6e 65 64 | 7d 0a 7b 25 20 4e 6f 74 |{aligned|}.{% Not|
|00004c40| 20 41 4d 53 4c 61 54 65 | 58 3a 0a 20 20 5c 64 65 | AMSLaTe|X:. \de|
|00004c50| 66 5c 40 62 69 67 73 65 | 74 23 31 7c 23 32 5c 40 |f\@bigse|t#1|#2\@|
|00004c60| 65 6e 64 7b 5c 62 69 67 | 6c 5c 7b 5c 2c 20 23 31 |end{\big|l\{\, #1|
|00004c70| 20 7b 5c 3a 5c 62 69 67 | 6d 5c 6f 72 69 67 62 61 | {\:\big|m\origba|
|00004c80| 72 5c 3a 7d 0a 09 09 09 | 20 23 32 20 5c 2c 5c 62 |r\:}....| #2 \,\b|
|00004c90| 69 67 72 5c 7d 20 7d 0a | 7d 7b 25 20 57 69 74 68 |igr\} }.|}{% With|
|00004ca0| 20 41 4d 53 4c 61 54 65 | 58 3a 0a 20 20 5c 64 65 | AMSLaTe|X:. \de|
|00004cb0| 66 5c 40 62 69 67 73 65 | 74 23 31 7c 23 32 5c 40 |f\@bigse|t#1|#2\@|
|00004cc0| 65 6e 64 7b 5c 62 65 67 | 69 6e 7b 61 6c 69 67 6e |end{\beg|in{align|
|00004cd0| 65 64 7d 5b 74 5d 5c 62 | 69 67 6c 5c 7b 5c 2c 20 |ed}[t]\b|igl\{\, |
|00004ce0| 23 31 20 7b 5c 3a 5c 62 | 69 67 6d 5c 6f 72 69 67 |#1 {\:\b|igm\orig|
|00004cf0| 62 61 72 5c 3a 7d 26 0a | 09 09 09 20 5c 6c 65 74 |bar\:}&.|... \let|
|00004d00| 5c 40 6f 6c 64 63 72 3d | 5c 5c 5c 64 65 66 5c 5c |\@oldcr=|\\\def\\|
|00004d10| 7b 5c 40 6f 6c 64 63 72 | 26 7b 7d 7d 0a 09 09 09 |{\@oldcr|&{}}....|
|00004d20| 20 23 32 20 5c 2c 5c 62 | 69 67 72 5c 7d 20 5c 65 | #2 \,\b|igr\} \e|
|00004d30| 6e 64 7b 61 6c 69 67 6e | 65 64 7d 20 7d 0a 7d 0a |nd{align|ed} }.}.|
|00004d40| 0a 25 20 4e 6f 74 61 74 | 69 6f 6e 20 66 6f 72 20 |.% Notat|ion for |
|00004d50| 73 75 62 73 74 69 74 75 | 74 69 6f 6e 20 69 6e 20 |substitu|tion in |
|00004d60| 70 72 6f 67 72 61 6d 73 | 3a 0a 5c 64 65 66 5c 73 |programs|:.\def\s|
|00004d70| 75 62 5b 23 31 2f 23 32 | 7c 23 33 5d 7b 5c 6c 65 |ub[#1/#2||#3]{\le|
|00004d80| 66 74 5b 5c 6c 65 66 74 | 2e 23 31 5c 2c 2f 5c 2c |ft[\left|.#1\,/\,|
|00004d90| 23 32 5c 2c 5c 72 69 67 | 68 74 5c 6f 72 69 67 62 |#2\,\rig|ht\origb|
|00004da0| 61 72 5c 2c 23 33 5c 2c | 5c 72 69 67 68 74 5d 7d |ar\,#3\,|\right]}|
|00004db0| 0a 5c 64 65 66 5c 62 69 | 67 73 75 62 5b 23 31 2f |.\def\bi|gsub[#1/|
|00004dc0| 23 32 7c 23 33 5d 7b 5c | 62 69 67 6c 5b 23 31 5c |#2|#3]{\|bigl[#1\|
|00004dd0| 2c 5c 62 69 67 6d 2f 5c | 2c 23 32 5c 2c 5c 62 69 |,\bigm/\|,#2\,\bi|
|00004de0| 67 6d 5c 6f 72 69 67 62 | 61 72 5c 2c 23 33 5c 2c |gm\origb|ar\,#3\,|
|00004df0| 5c 62 69 67 72 5d 7d 0a | 25 20 55 73 65 20 5c 6d |\bigr]}.|% Use \m|
|00004e00| 6f 64 62 61 72 7b 78 7d | 20 66 6f 72 20 7c 78 7c |odbar{x}| for |x||
|00004e10| 3a 0a 5c 64 65 66 5c 6d | 6f 64 62 61 72 23 31 7b |:.\def\m|odbar#1{|
|00004e20| 5c 6f 72 69 67 62 61 72 | 20 23 31 5c 6f 72 69 67 |\origbar| #1\orig|
|00004e30| 62 61 72 7d 0a 0a 25 20 | 4e 6f 74 61 74 69 6f 6e |bar}..% |Notation|
|00004e40| 20 66 6f 72 20 61 20 73 | 65 71 75 65 6e 63 65 20 | for a s|equence |
|00004e50| 69 6e 20 61 6e 67 6c 65 | 20 62 72 61 63 6b 65 74 |in angle| bracket|
|00004e60| 73 3a 0a 25 20 5c 62 69 | 67 73 65 71 20 75 73 65 |s:.% \bi|gseq use|
|00004e70| 73 20 62 69 67 20 73 69 | 7a 65 20 6f 66 20 62 72 |s big si|ze of br|
|00004e80| 61 63 6b 65 74 73 3a 0a | 25 20 5c 64 65 66 5c 73 |ackets:.|% \def\s|
|00004e90| 65 71 23 31 7b 5c 6c 65 | 66 74 3c 20 23 31 20 5c |eq#1{\le|ft< #1 \|
|00004ea0| 72 69 67 68 74 3e 7d 0a | 5c 64 65 66 5c 73 65 71 |right>}.|\def\seq|
|00004eb0| 23 31 7b 5c 6c 61 6e 67 | 6c 65 20 23 31 20 5c 72 |#1{\lang|le #1 \r|
|00004ec0| 61 6e 67 6c 65 7d 0a 5c | 64 65 66 5c 62 69 67 73 |angle}.\|def\bigs|
|00004ed0| 65 71 23 31 7b 5c 62 69 | 67 6c 3c 20 23 31 20 5c |eq#1{\bi|gl< #1 \|
|00004ee0| 62 69 67 72 3e 7d 0a 0a | 25 20 4e 6f 74 61 74 69 |bigr>}..|% Notati|
|00004ef0| 6f 6e 20 66 6f 72 20 73 | 75 62 73 65 71 75 65 6e |on for s|ubsequen|
|00004f00| 63 65 73 20 61 6e 61 6c | 6f 67 6f 75 73 20 74 6f |ces anal|ogous to|
|00004f10| 20 73 65 74 20 6e 6f 74 | 61 74 69 6f 6e 3a 0a 5c | set not|ation:.\|
|00004f20| 64 65 66 5c 73 75 62 73 | 65 71 23 31 7b 5c 40 40 |def\subs|eq#1{\@@|
|00004f30| 73 75 62 73 65 71 23 31 | 5c 40 65 6e 64 7d 20 25 |subseq#1|\@end} %|
|00004f40| 20 73 74 72 69 70 20 6f | 66 20 74 68 65 20 7b 7d | strip o|f the {}|
|00004f50| 20 61 6e 64 20 70 61 73 | 73 20 74 6f 20 5c 40 40 | and pas|s to \@@|
|00004f60| 73 75 62 73 65 71 0a 5c | 64 65 66 5c 40 40 73 75 |subseq.\|def\@@su|
|00004f70| 62 73 65 71 23 31 7c 23 | 32 5c 40 65 6e 64 7b 5c |bseq#1|#|2\@end{\|
|00004f80| 6c 65 66 74 3c 5c 6c 65 | 66 74 2e 5c 2c 20 23 31 |left<\le|ft.\, #1|
|00004f90| 20 5c 3a 5c 72 69 67 68 | 74 5c 6f 72 69 67 62 61 | \:\righ|t\origba|
|00004fa0| 72 5c 3a 0a 09 09 09 23 | 32 20 5c 2c 5c 72 69 67 |r\:....#|2 \,\rig|
|00004fb0| 68 74 3e 7d 0a 5c 64 65 | 66 5c 62 69 67 73 75 62 |ht>}.\de|f\bigsub|
|00004fc0| 73 65 71 23 31 7b 5c 40 | 62 69 67 73 75 62 73 65 |seq#1{\@|bigsubse|
|00004fd0| 71 23 31 5c 40 65 6e 64 | 7d 20 25 20 73 74 72 69 |q#1\@end|} % stri|
|00004fe0| 70 20 6f 66 20 74 68 65 | 20 7b 7d 20 61 6e 64 20 |p of the| {} and |
|00004ff0| 70 61 73 73 20 74 6f 20 | 5c 40 62 69 67 73 75 62 |pass to |\@bigsub|
|00005000| 73 65 71 0a 5c 40 69 66 | 75 6e 64 65 66 69 6e 65 |seq.\@if|undefine|
|00005010| 64 7b 61 6c 69 67 6e 65 | 64 7d 0a 7b 25 20 4e 6f |d{aligne|d}.{% No|
|00005020| 74 20 41 4d 53 4c 61 54 | 65 58 3a 0a 20 20 5c 64 |t AMSLaT|eX:. \d|
|00005030| 65 66 5c 40 62 69 67 73 | 75 62 73 65 71 23 31 7c |ef\@bigs|ubseq#1||
|00005040| 23 32 5c 40 65 6e 64 7b | 5c 62 69 67 6c 3c 5c 2c |#2\@end{|\bigl<\,|
|00005050| 20 23 31 20 7b 5c 3a 5c | 62 69 67 6d 5c 6f 72 69 | #1 {\:\|bigm\ori|
|00005060| 67 62 61 72 5c 3a 7d 0a | 09 09 09 20 20 20 20 23 |gbar\:}.|... #|
|00005070| 32 20 5c 2c 5c 62 69 67 | 72 3e 20 7d 0a 7d 7b 25 |2 \,\big|r> }.}{%|
|00005080| 20 57 69 74 68 20 41 4d | 53 4c 61 54 65 58 3a 0a | With AM|SLaTeX:.|
|00005090| 20 20 5c 64 65 66 5c 40 | 62 69 67 73 75 62 73 65 | \def\@|bigsubse|
|000050a0| 71 23 31 7c 23 32 5c 40 | 65 6e 64 7b 5c 62 65 67 |q#1|#2\@|end{\beg|
|000050b0| 69 6e 7b 61 6c 69 67 6e | 65 64 7d 5b 74 5d 5c 62 |in{align|ed}[t]\b|
|000050c0| 69 67 6c 3c 5c 2c 20 23 | 31 20 7b 5c 3a 5c 62 69 |igl<\, #|1 {\:\bi|
|000050d0| 67 6d 5c 6f 72 69 67 62 | 61 72 5c 3a 7d 26 0a 09 |gm\origb|ar\:}&..|
|000050e0| 09 09 20 20 20 20 5c 6c | 65 74 5c 40 6f 6c 64 63 |.. \l|et\@oldc|
|000050f0| 72 3d 5c 5c 5c 64 65 66 | 5c 5c 7b 5c 40 6f 6c 64 |r=\\\def|\\{\@old|
|00005100| 63 72 26 7b 7d 7d 0a 09 | 09 09 20 20 20 20 23 32 |cr&{}}..|.. #2|
|00005110| 20 5c 2c 5c 62 69 67 72 | 3e 20 5c 65 6e 64 7b 61 | \,\bigr|> \end{a|
|00005120| 6c 69 67 6e 65 64 7d 20 | 7d 0a 7d 0a 0a 25 20 72 |ligned} |}.}..% r|
|00005130| 61 6e 67 65 20 64 6f 74 | 73 2c 20 6c 69 6b 65 20 |ange dot|s, like |
|00005140| 5c 6c 64 6f 74 73 20 62 | 75 74 20 77 69 74 68 20 |\ldots b|ut with |
|00005150| 74 77 6f 20 64 6f 74 73 | 20 6f 6e 6c 79 20 28 66 |two dots| only (f|
|00005160| 6f 72 20 31 2e 2e 6e 20 | 65 74 63 2e 29 3a 0a 5c |or 1..n |etc.):.\|
|00005170| 64 65 66 5c 72 64 6f 74 | 73 7b 5c 6d 61 74 68 69 |def\rdot|s{\mathi|
|00005180| 6e 6e 65 72 7b 5c 6c 64 | 6f 74 70 5c 6c 64 6f 74 |nner{\ld|otp\ldot|
|00005190| 70 7d 7d 0a 0a 25 20 41 | 74 6f 6d 69 63 20 53 70 |p}}..% A|tomic Sp|
|000051a0| 65 63 69 66 69 63 61 74 | 69 6f 6e 20 73 74 61 74 |ecificat|ion stat|
|000051b0| 65 6d 65 6e 74 3a 20 66 | 6f 72 20 65 67 20 3c 78 |ement: f|or eg <x|
|000051c0| 3e 2f 3c 79 3e 2e 51 20 | 75 73 65 3a 20 5c 61 74 |>/<y>.Q |use: \at|
|000051d0| 73 70 65 63 20 78 2f 79 | 2e 20 51 0a 25 20 54 68 |spec x/y|. Q.% Th|
|000051e0| 69 73 20 75 73 65 73 20 | 22 2f 22 20 61 6e 64 20 |is uses |"/" and |
|000051f0| 22 2e 22 20 61 73 20 61 | 72 67 75 6d 65 6e 74 20 |"." as a|rgument |
|00005200| 64 65 6c 69 6d 69 74 65 | 72 73 3a 0a 25 20 5c 64 |delimite|rs:.% \d|
|00005210| 65 66 5c 61 74 73 70 65 | 63 20 23 31 2f 23 32 2e |ef\atspe|c #1/#2.|
|00005220| 7b 5c 73 65 71 7b 23 31 | 7d 5c 21 2f 5c 21 5c 73 |{\seq{#1|}\!/\!\s|
|00005230| 65 71 7b 23 32 7d 5c 21 | 2e 7d 0a 5c 64 65 66 5c |eq{#2}\!|.}.\def\|
|00005240| 61 74 73 70 65 63 20 23 | 31 2f 23 32 2e 7b 5c 73 |atspec #|1/#2.{\s|
|00005250| 65 71 7b 23 31 7d 2f 5c | 73 65 71 7b 23 32 7d 2e |eq{#1}/\|seq{#2}.|
|00005260| 7d 0a 0a 25 20 5c 46 6f | 72 61 6c 6c 20 76 61 72 |}..% \Fo|rall var|
|00005270| 73 2e 66 6f 72 6d 75 6c | 61 20 61 6e 64 20 5c 45 |s.formul|a and \E|
|00005280| 78 69 73 74 73 20 76 61 | 72 73 2e 66 6f 72 6d 75 |xists va|rs.formu|
|00005290| 6c 61 3a 0a 5c 64 65 66 | 5c 46 6f 72 61 6c 6c 23 |la:.\def|\Forall#|
|000052a0| 31 2e 7b 5c 66 6f 72 61 | 6c 6c 20 23 31 2e 5c 2c |1.{\fora|ll #1.\,|
|000052b0| 7d 0a 5c 64 65 66 5c 45 | 78 69 73 74 73 23 31 2e |}.\def\E|xists#1.|
|000052c0| 7b 5c 65 78 69 73 74 73 | 20 23 31 2e 5c 2c 7d 0a |{\exists| #1.\,}.|
|000052d0| 0a 5c 64 65 66 5c 45 51 | 54 7b 5c 20 5c 61 70 70 |.\def\EQ|T{\ \app|
|000052e0| 72 6f 78 5c 20 7d 20 25 | 20 70 72 6f 67 72 61 6d |rox\ } %| program|
|000052f0| 20 65 71 75 69 76 61 6c | 65 6e 63 65 2e 0a 5c 64 | equival|ence..\d|
|00005300| 65 66 5c 4c 45 7b 5c 20 | 5c 6c 65 5c 20 7d 20 20 |ef\LE{\ |\le\ } |
|00005310| 20 20 20 20 25 20 70 72 | 6f 67 72 61 6d 20 72 65 | % pr|ogram re|
|00005320| 66 69 6e 65 6d 65 6e 74 | 2e 0a 5c 64 65 66 5c 4e |finement|..\def\N|
|00005330| 4f 54 7b 5c 6e 65 67 7d | 0a 25 20 5c 41 4e 44 20 |OT{\neg}|.% \AND |
|00005340| 61 6e 64 20 5c 4f 52 20 | 72 65 6c 61 74 69 6f 6e |and \OR |relation|
|00005350| 73 20 68 61 76 65 20 61 | 6e 20 65 78 74 72 61 20 |s have a|n extra |
|00005360| 74 68 69 6e 20 73 70 61 | 63 65 20 61 72 6f 75 6e |thin spa|ce aroun|
|00005370| 64 20 74 68 65 6d 3a 0a | 5c 64 65 66 5c 41 4e 44 |d them:.|\def\AND|
|00005380| 7b 5c 6d 61 74 68 72 65 | 6c 7b 5c 2c 5c 77 65 64 |{\mathre|l{\,\wed|
|00005390| 67 65 5c 2c 7d 7d 0a 5c | 64 65 66 5c 4f 52 7b 5c |ge\,}}.\|def\OR{\|
|000053a0| 6d 61 74 68 72 65 6c 7b | 5c 2c 5c 76 65 65 5c 2c |mathrel{|\,\vee\,|
|000053b0| 7d 7d 0a 5c 64 65 66 5c | 45 4f 52 7b 5c 6d 61 74 |}}.\def\|EOR{\mat|
|000053c0| 68 72 65 6c 7b 5c 2c 5c | 6f 70 6c 75 73 5c 2c 7d |hrel{\,\|oplus\,}|
|000053d0| 7d 0a 5c 64 65 66 5c 73 | 62 73 7b 5c 73 75 62 73 |}.\def\s|bs{\subs|
|000053e0| 65 74 65 71 7d 0a 5c 64 | 65 66 5c 69 6d 7b 5c 52 |eteq}.\d|ef\im{\R|
|000053f0| 69 67 68 74 61 72 72 6f | 77 7d 0a 25 20 28 75 73 |ightarro|w}.% (us|
|00005400| 65 20 5c 69 66 66 20 61 | 6e 64 20 5c 69 6d 70 6c |e \iff a|nd \impl|
|00005410| 69 65 73 20 66 6f 72 20 | 74 68 65 20 22 6c 6f 6e |ies for |the "lon|
|00005420| 67 22 20 61 72 72 6f 77 | 73 29 0a 5c 64 65 66 5c |g" arrow|s).\def\|
|00005430| 75 6e 69 6f 6e 7b 5c 63 | 75 70 7d 0a 5c 64 65 66 |union{\c|up}.\def|
|00005440| 5c 69 6e 74 65 72 73 65 | 63 74 7b 5c 63 61 70 7d |\interse|ct{\cap}|
|00005450| 0a 5c 64 65 66 5c 6c 61 | 72 7b 5c 6c 65 66 74 61 |.\def\la|r{\lefta|
|00005460| 72 72 6f 77 7d 0a 5c 64 | 65 66 5c 72 61 72 7b 5c |rrow}.\d|ef\rar{\|
|00005470| 72 69 67 68 74 61 72 72 | 6f 77 7d 0a 5c 64 65 66 |rightarr|ow}.\def|
|00005480| 5c 77 66 6c 74 7b 5c 70 | 72 65 63 7d 0a 5c 64 65 |\wflt{\p|rec}.\de|
|00005490| 66 5c 77 66 6c 65 7b 5c | 70 72 65 63 63 75 72 6c |f\wfle{\|preccurl|
|000054a0| 79 65 71 7d 0a 5c 64 65 | 66 5c 73 75 63 63 73 74 |yeq}.\de|f\succst|
|000054b0| 61 72 7b 5c 6d 61 74 68 | 72 65 6c 7b 5c 73 75 63 |ar{\math|rel{\suc|
|000054c0| 63 5c 21 5c 21 5e 2a 7d | 7d 0a 5c 64 65 66 5c 73 |c\!\!^*}|}.\def\s|
|000054d0| 75 63 63 65 71 73 74 61 | 72 7b 5c 6d 61 74 68 72 |ucceqsta|r{\mathr|
|000054e0| 65 6c 7b 5c 73 75 63 63 | 65 71 5c 21 5e 2a 7d 7d |el{\succ|eq\!^*}}|
|000054f0| 0a 5c 64 65 66 5c 67 74 | 7b 5c 69 66 6d 6d 6f 64 |.\def\gt|{\ifmmod|
|00005500| 65 3e 5c 65 6c 73 65 7b | 24 3e 24 7d 5c 66 69 7d |e>\else{|$>$}\fi}|
|00005510| 0a 5c 64 65 66 5c 6c 74 | 7b 5c 69 66 6d 6d 6f 64 |.\def\lt|{\ifmmod|
|00005520| 65 3e 5c 65 6c 73 65 7b | 24 3c 24 7d 5c 66 69 7d |e>\else{|$<$}\fi}|
|00005530| 0a 5c 64 65 66 5c 74 77 | 7b 5c 69 66 6d 6d 6f 64 |.\def\tw|{\ifmmod|
|00005540| 65 7b 7d 5e 5c 73 69 6d | 5c 65 6c 73 65 7b 24 7b |e{}^\sim|\else{${|
|00005550| 7d 5e 5c 73 69 6d 24 7d | 5c 66 69 7d 0a 0a 0a 25 |}^\sim$}|\fi}...%|
|00005560| 20 6d 61 70 20 61 6e 64 | 20 72 65 64 75 63 65 20 | map and| reduce |
|00005570| 6f 70 65 72 61 74 6f 72 | 73 3a 0a 5c 64 65 66 5c |operator|s:.\def\|
|00005580| 62 73 74 61 72 7b 5c 6d | 61 74 68 72 65 6c 7b 5c |bstar{\m|athrel{\|
|00005590| 62 6f 6c 64 73 79 6d 62 | 6f 6c 7b 2a 7d 7d 7d 20 |boldsymb|ol{*}}} |
|000055a0| 25 20 66 6f 72 20 2a 0a | 5c 64 65 66 5c 62 64 69 |% for *.|\def\bdi|
|000055b0| 76 7b 5c 62 6f 6c 64 73 | 79 6d 62 6f 6c 7b 2f 7d |v{\bolds|ymbol{/}|
|000055c0| 7d 20 25 20 66 6f 72 20 | 2f 0a 0a 0a 25 20 56 61 |} % for |/...% Va|
|000055d0| 72 69 6f 75 73 20 61 72 | 72 6f 77 73 20 28 74 61 |rious ar|rows (ta|
|000055e0| 6b 65 6e 20 66 72 6f 6d | 20 6f 7a 2e 73 74 79 29 |ken from| oz.sty)|
|000055f0| 3a 0a 5c 6c 65 74 20 5c | 72 65 6c 20 20 20 20 20 |:.\let \|rel |
|00005600| 20 20 5c 6c 65 66 74 72 | 69 67 68 74 61 72 72 6f | \leftr|ightarro|
|00005610| 77 0a 5c 6c 65 74 20 5c | 74 66 75 6e 20 20 20 20 |w.\let \|tfun |
|00005620| 20 20 5c 72 69 67 68 74 | 61 72 72 6f 77 0a 5c 6c | \right|arrow.\l|
|00005630| 65 74 20 5c 74 69 6e 6a | 20 20 20 20 20 20 5c 72 |et \tinj| \r|
|00005640| 69 67 68 74 61 72 72 6f | 77 74 61 69 6c 0a 5c 64 |ightarro|wtail.\d|
|00005650| 65 66 20 5c 74 73 75 72 | 20 20 20 20 20 20 7b 5c |ef \tsur| {\|
|00005660| 6d 61 74 68 72 65 6c 7b | 5c 6f 6f 61 6c 69 67 6e |mathrel{|\ooalign|
|00005670| 7b 24 5c 74 66 75 6e 24 | 5c 68 66 69 6c 5c 63 72 |{$\tfun$|\hfil\cr|
|00005680| 24 5c 6d 6b 65 72 6e 34 | 6d 75 5c 74 66 75 6e 24 |$\mkern4|mu\tfun$|
|00005690| 7d 7d 7d 0a 5c 64 65 66 | 20 5c 70 66 75 6e 20 20 |}}}.\def| \pfun |
|000056a0| 20 20 20 20 7b 5c 70 5c | 74 66 75 6e 7d 0a 5c 64 | {\p\|tfun}.\d|
|000056b0| 65 66 20 5c 70 69 6e 6a | 20 20 20 20 20 20 7b 5c |ef \pinj| {\|
|000056c0| 70 5c 74 69 6e 6a 7d 0a | 5c 64 65 66 20 5c 70 73 |p\tinj}.|\def \ps|
|000056d0| 75 72 20 20 20 20 20 20 | 7b 5c 70 5c 74 73 75 72 |ur |{\p\tsur|
|000056e0| 7d 0a 5c 64 65 66 20 5c | 66 66 75 6e 20 20 20 20 |}.\def \|ffun |
|000056f0| 20 20 7b 5c 66 5c 74 66 | 75 6e 7d 0a 5c 64 65 66 | {\f\tf|un}.\def|
|00005700| 20 5c 66 69 6e 6a 20 20 | 20 20 20 20 7b 5c 66 5c | \finj | {\f\|
|00005710| 74 69 6e 6a 7d 0a 5c 64 | 65 66 20 5c 62 69 6a 20 |tinj}.\d|ef \bij |
|00005720| 20 20 20 20 20 20 7b 5c | 6d 61 74 68 72 65 6c 7b | {\|mathrel{|
|00005730| 5c 6f 6f 61 6c 69 67 6e | 7b 24 5c 74 69 6e 6a 24 |\ooalign|{$\tinj$|
|00005740| 5c 68 66 69 6c 5c 63 72 | 24 5c 6d 6b 65 72 6e 35 |\hfil\cr|$\mkern5|
|00005750| 6d 75 5c 74 66 75 6e 24 | 7d 7d 7d 0a 5c 64 65 66 |mu\tfun$|}}}.\def|
|00005760| 5c 70 23 31 7b 5c 6d 61 | 74 68 72 65 6c 7b 5c 6f |\p#1{\ma|threl{\o|
|00005770| 6f 61 6c 69 67 6e 7b 5c | 68 66 69 6c 24 5c 6d 61 |oalign{\|hfil$\ma|
|00005780| 70 73 74 6f 63 68 61 72 | 5c 6d 6b 65 72 6e 20 35 |pstochar|\mkern 5|
|00005790| 6d 75 24 5c 68 66 69 6c | 5c 63 72 24 23 31 24 7d |mu$\hfil|\cr$#1$}|
|000057a0| 7d 7d 0a 5c 64 65 66 5c | 66 23 31 7b 5c 6d 61 74 |}}.\def\|f#1{\mat|
|000057b0| 68 72 65 6c 7b 5c 6f 6f | 61 6c 69 67 6e 7b 5c 68 |hrel{\oo|align{\h|
|000057c0| 66 69 6c 0a 09 24 5c 6d | 61 70 73 74 6f 63 68 61 |fil..$\m|apstocha|
|000057d0| 72 5c 6d 6b 65 72 6e 20 | 33 6d 75 5c 6d 61 70 73 |r\mkern |3mu\maps|
|000057e0| 74 6f 63 68 61 72 5c 6d | 6b 65 72 6e 20 35 6d 75 |tochar\m|kern 5mu|
|000057f0| 24 5c 68 66 69 6c 5c 63 | 72 24 23 31 24 7d 7d 7d |$\hfil\c|r$#1$}}}|
|00005800| 0a 0a 25 25 20 4c 6f 67 | 69 63 61 6c 20 65 78 63 |..%% Log|ical exc|
|00005810| 6c 75 73 69 76 65 20 6f | 72 3a 0a 5c 64 65 66 5c |lusive o|r:.\def\|
|00005820| 65 78 6f 72 7b 5c 6f 70 | 6c 75 73 7d 0a 0a 25 25 |exor{\op|lus}..%%|
|00005830| 20 53 65 71 75 65 6e 63 | 65 20 63 6f 6e 63 61 74 | Sequenc|e concat|
|00005840| 65 6e 61 74 69 6f 6e 3a | 0a 5c 64 65 66 5c 63 6f |enation:|.\def\co|
|00005850| 6e 63 61 74 7b 5c 6d 61 | 74 68 72 65 6c 7b 2b 5c |ncat{\ma|threl{+\|
|00005860| 21 5c 21 5c 21 2b 7d 7d | 0a 0a 5c 64 65 66 5c 72 |!\!\!+}}|..\def\r|
|00005870| 6d 74 69 6e 79 7b 5c 72 | 6d 5c 74 69 6e 79 7d 0a |mtiny{\r|m\tiny}.|
|00005880| 0a 25 25 20 53 74 61 63 | 6b 20 6f 70 65 72 61 74 |.%% Stac|k operat|
|00005890| 69 6f 6e 73 3a 0a 5c 64 | 65 66 5c 70 75 73 68 7b |ions:.\d|ef\push{|
|000058a0| 5c 6d 61 74 68 72 65 6c | 7b 5c 6f 76 65 72 73 65 |\mathrel|{\overse|
|000058b0| 74 7b 5c 6d 62 6f 78 7b | 5c 72 6d 74 69 6e 79 20 |t{\mbox{|\rmtiny |
|000058c0| 70 75 73 68 7d 7d 7b 5c | 6c 6f 6e 67 6c 65 66 74 |push}}{\|longleft|
|000058d0| 61 72 72 6f 77 7d 7d 7d | 0a 5c 64 65 66 5c 70 6f |arrow}}}|.\def\po|
|000058e0| 70 20 7b 5c 6d 61 74 68 | 72 65 6c 7b 5c 6f 76 65 |p {\math|rel{\ove|
|000058f0| 72 73 65 74 7b 5c 6d 62 | 6f 78 7b 5c 72 6d 74 69 |rset{\mb|ox{\rmti|
|00005900| 6e 79 20 20 70 6f 70 7d | 7d 7b 5c 6c 6f 6e 67 6c |ny pop}|}{\longl|
|00005910| 65 66 74 61 72 72 6f 77 | 7d 7d 7d 0a 5c 64 65 66 |eftarrow|}}}.\def|
|00005920| 5c 70 69 63 6b 7b 5c 6d | 61 74 68 72 65 6c 7b 5c |\pick{\m|athrel{\|
|00005930| 6f 76 65 72 73 65 74 7b | 5c 6d 62 6f 78 7b 5c 72 |overset{|\mbox{\r|
|00005940| 6d 74 69 6e 79 20 70 69 | 63 6b 7d 7d 7b 5c 6c 6f |mtiny pi|ck}}{\lo|
|00005950| 6e 67 6c 65 66 74 61 72 | 72 6f 77 7d 7d 7d 0a 5c |ngleftar|row}}}.\|
|00005960| 64 65 66 5c 6c 61 73 74 | 7b 5c 6d 61 74 68 72 65 |def\last|{\mathre|
|00005970| 6c 7b 5c 6f 76 65 72 73 | 65 74 7b 5c 6d 62 6f 78 |l{\overs|et{\mbox|
|00005980| 7b 5c 72 6d 74 69 6e 79 | 20 6c 61 73 74 7d 7d 7b |{\rmtiny| last}}{|
|00005990| 5c 6c 6f 6e 67 6c 65 66 | 74 61 72 72 6f 77 7d 7d |\longlef|tarrow}}|
|000059a0| 7d 0a 0a 25 25 20 62 69 | 74 77 69 73 65 20 6f 70 |}..%% bi|twise op|
|000059b0| 65 72 61 74 6f 72 73 0a | 5c 64 65 66 5c 62 69 74 |erators.|\def\bit|
|000059c0| 61 6e 64 20 7b 5c 6d 61 | 74 68 72 65 6c 7b 5c 6f |and {\ma|threl{\o|
|000059d0| 76 65 72 73 65 74 7b 5c | 6d 62 6f 78 7b 5c 74 69 |verset{\|mbox{\ti|
|000059e0| 6e 79 20 62 69 74 7d 7d | 7b 5c 77 65 64 67 65 7d |ny bit}}|{\wedge}|
|000059f0| 7d 7d 0a 5c 64 65 66 5c | 62 69 74 6f 72 20 20 7b |}}.\def\|bitor {|
|00005a00| 5c 6d 61 74 68 72 65 6c | 7b 5c 6f 76 65 72 73 65 |\mathrel|{\overse|
|00005a10| 74 7b 5c 6d 62 6f 78 7b | 5c 74 69 6e 79 20 62 69 |t{\mbox{|\tiny bi|
|00005a20| 74 7d 7d 7b 5c 76 65 65 | 7d 7d 7d 20 0a 5c 64 65 |t}}{\vee|}}} .\de|
|00005a30| 66 5c 62 69 74 65 78 6f | 72 7b 5c 6d 61 74 68 72 |f\bitexo|r{\mathr|
|00005a40| 65 6c 7b 5c 6f 76 65 72 | 73 65 74 7b 5c 6d 62 6f |el{\over|set{\mbo|
|00005a50| 78 7b 5c 74 69 6e 79 20 | 62 69 74 7d 7d 7b 5c 76 |x{\tiny |bit}}{\v|
|00005a60| 70 68 61 6e 74 6f 6d 5c | 76 65 65 5c 73 6d 61 73 |phantom\|vee\smas|
|00005a70| 68 5c 6f 70 6c 75 73 7d | 7d 7d 0a 5c 64 65 66 5c |h\oplus}|}}.\def\|
|00005a80| 62 69 74 6e 6f 74 7b 7b | 5c 6f 76 65 72 73 65 74 |bitnot{{|\overset|
|00005a90| 7b 5c 6d 62 6f 78 7b 5c | 74 69 6e 79 20 62 69 74 |{\mbox{\|tiny bit|
|00005aa0| 7d 7d 7b 5c 76 70 68 61 | 6e 74 6f 6d 5c 76 65 65 |}}{\vpha|ntom\vee|
|00005ab0| 5c 6e 65 67 7d 7d 7d 0a | 0a 25 25 20 4c 6f 67 69 |\neg}}}.|.%% Logi|
|00005ac0| 63 61 6c 2c 20 64 65 63 | 69 6d 61 6c 20 61 6e 64 |cal, dec|imal and|
|00005ad0| 20 66 6c 6f 61 74 69 6e | 67 20 70 6f 69 6e 74 20 | floatin|g point |
|00005ae0| 6f 70 65 72 61 74 6f 72 | 73 3a 0a 5c 64 65 66 5c |operator|s:.\def\|
|00005af0| 6c 70 6c 75 73 20 7b 5c | 6d 61 74 68 72 65 6c 7b |lplus {\|mathrel{|
|00005b00| 5c 6f 76 65 72 73 65 74 | 7b 5c 6d 62 6f 78 7b 5c |\overset|{\mbox{\|
|00005b10| 74 69 6e 79 20 6c 6f 67 | 7d 7d 7b 2b 7d 7d 7d 0a |tiny log|}}{+}}}.|
|00005b20| 5c 64 65 66 5c 6c 6d 69 | 6e 75 73 7b 5c 6d 61 74 |\def\lmi|nus{\mat|
|00005b30| 68 72 65 6c 7b 5c 6f 76 | 65 72 73 65 74 7b 5c 6d |hrel{\ov|erset{\m|
|00005b40| 62 6f 78 7b 5c 74 69 6e | 79 20 6c 6f 67 7d 7d 7b |box{\tin|y log}}{|
|00005b50| 2d 7d 7d 7d 0a 5c 64 65 | 66 5c 6c 6d 75 6c 74 20 |-}}}.\de|f\lmult |
|00005b60| 7b 5c 6d 61 74 68 72 65 | 6c 7b 5c 6f 76 65 72 73 |{\mathre|l{\overs|
|00005b70| 65 74 7b 5c 6d 62 6f 78 | 7b 5c 74 69 6e 79 20 6c |et{\mbox|{\tiny l|
|00005b80| 6f 67 7d 7d 7b 5c 74 69 | 6d 65 73 7d 7d 7d 0a 5c |og}}{\ti|mes}}}.\|
|00005b90| 64 65 66 5c 6c 64 69 76 | 20 20 7b 5c 6d 61 74 68 |def\ldiv| {\math|
|00005ba0| 72 65 6c 7b 5c 6f 76 65 | 72 73 65 74 7b 5c 6d 62 |rel{\ove|rset{\mb|
|00005bb0| 6f 78 7b 5c 74 69 6e 79 | 20 6c 6f 67 7d 7d 7b 5c |ox{\tiny| log}}{\|
|00005bc0| 64 69 76 7d 7d 7d 0a 5c | 64 65 66 5c 6c 65 71 75 |div}}}.\|def\lequ|
|00005bd0| 20 20 7b 5c 6d 61 74 68 | 72 65 6c 7b 5c 6f 76 65 | {\math|rel{\ove|
|00005be0| 72 73 65 74 7b 5c 6d 62 | 6f 78 7b 5c 74 69 6e 79 |rset{\mb|ox{\tiny|
|00005bf0| 20 6c 6f 67 7d 7d 7b 3d | 7d 7d 7d 0a 5c 64 65 66 | log}}{=|}}}.\def|
|00005c00| 5c 6c 6e 65 71 20 20 7b | 5c 6d 61 74 68 72 65 6c |\lneq {|\mathrel|
|00005c10| 7b 5c 6f 76 65 72 73 65 | 74 7b 5c 6d 62 6f 78 7b |{\overse|t{\mbox{|
|00005c20| 5c 74 69 6e 79 20 6c 6f | 67 7d 7d 7b 5c 6e 65 71 |\tiny lo|g}}{\neq|
|00005c30| 7d 7d 7d 0a 5c 64 65 66 | 5c 6c 6c 65 73 73 20 7b |}}}.\def|\lless {|
|00005c40| 5c 6d 61 74 68 72 65 6c | 7b 5c 6f 76 65 72 73 65 |\mathrel|{\overse|
|00005c50| 74 7b 5c 6d 62 6f 78 7b | 5c 74 69 6e 79 20 6c 6f |t{\mbox{|\tiny lo|
|00005c60| 67 7d 7d 7b 3c 7d 7d 7d | 0a 5c 64 65 66 5c 6c 67 |g}}{<}}}|.\def\lg|
|00005c70| 72 65 61 74 7b 5c 6d 61 | 74 68 72 65 6c 7b 5c 6f |reat{\ma|threl{\o|
|00005c80| 76 65 72 73 65 74 7b 5c | 6d 62 6f 78 7b 5c 74 69 |verset{\|mbox{\ti|
|00005c90| 6e 79 20 6c 6f 67 7d 7d | 7b 3e 7d 7d 7d 0a 5c 64 |ny log}}|{>}}}.\d|
|00005ca0| 65 66 5c 6c 6c 65 71 20 | 20 7b 5c 6d 61 74 68 72 |ef\lleq | {\mathr|
|00005cb0| 65 6c 7b 5c 6f 76 65 72 | 73 65 74 7b 5c 6d 62 6f |el{\over|set{\mbo|
|00005cc0| 78 7b 5c 74 69 6e 79 20 | 6c 6f 67 7d 7d 7b 5c 6c |x{\tiny |log}}{\l|
|00005cd0| 65 71 7d 7d 7d 0a 5c 64 | 65 66 5c 6c 67 72 65 71 |eq}}}.\d|ef\lgreq|
|00005ce0| 20 7b 5c 6d 61 74 68 72 | 65 6c 7b 5c 6f 76 65 72 | {\mathr|el{\over|
|00005cf0| 73 65 74 7b 5c 6d 62 6f | 78 7b 5c 74 69 6e 79 20 |set{\mbo|x{\tiny |
|00005d00| 6c 6f 67 7d 7d 7b 5c 67 | 65 71 7d 7d 7d 0a 5c 64 |log}}{\g|eq}}}.\d|
|00005d10| 65 66 5c 64 70 6c 75 73 | 20 7b 5c 6d 61 74 68 72 |ef\dplus| {\mathr|
|00005d20| 65 6c 7b 5c 6f 76 65 72 | 73 65 74 7b 5c 6d 62 6f |el{\over|set{\mbo|
|00005d30| 78 7b 5c 74 69 6e 79 20 | 64 65 63 7d 7d 7b 2b 7d |x{\tiny |dec}}{+}|
|00005d40| 7d 7d 0a 5c 64 65 66 5c | 64 6d 69 6e 75 73 7b 5c |}}.\def\|dminus{\|
|00005d50| 6d 61 74 68 72 65 6c 7b | 5c 6f 76 65 72 73 65 74 |mathrel{|\overset|
|00005d60| 7b 5c 6d 62 6f 78 7b 5c | 74 69 6e 79 20 64 65 63 |{\mbox{\|tiny dec|
|00005d70| 7d 7d 7b 2d 7d 7d 7d 0a | 5c 64 65 66 5c 64 6d 75 |}}{-}}}.|\def\dmu|
|00005d80| 6c 74 20 7b 5c 6d 61 74 | 68 72 65 6c 7b 5c 6f 76 |lt {\mat|hrel{\ov|
|00005d90| 65 72 73 65 74 7b 5c 6d | 62 6f 78 7b 5c 74 69 6e |erset{\m|box{\tin|
|00005da0| 79 20 64 65 63 7d 7d 7b | 5c 74 69 6d 65 73 7d 7d |y dec}}{|\times}}|
|00005db0| 7d 0a 5c 64 65 66 5c 64 | 64 69 76 20 20 7b 5c 6d |}.\def\d|div {\m|
|00005dc0| 61 74 68 72 65 6c 7b 5c | 6f 76 65 72 73 65 74 7b |athrel{\|overset{|
|00005dd0| 5c 6d 62 6f 78 7b 5c 74 | 69 6e 79 20 64 65 63 7d |\mbox{\t|iny dec}|
|00005de0| 7d 7b 5c 64 69 76 7d 7d | 7d 0a 5c 64 65 66 5c 64 |}{\div}}|}.\def\d|
|00005df0| 65 71 20 20 20 7b 5c 6d | 61 74 68 72 65 6c 7b 5c |eq {\m|athrel{\|
|00005e00| 6f 76 65 72 73 65 74 7b | 5c 6d 62 6f 78 7b 5c 74 |overset{|\mbox{\t|
|00005e10| 69 6e 79 20 64 65 63 7d | 7d 7b 3d 7d 7d 7d 0a 5c |iny dec}|}{=}}}.\|
|00005e20| 64 65 66 5c 64 6e 65 71 | 20 20 7b 5c 6d 61 74 68 |def\dneq| {\math|
|00005e30| 72 65 6c 7b 5c 6f 76 65 | 72 73 65 74 7b 5c 6d 62 |rel{\ove|rset{\mb|
|00005e40| 6f 78 7b 5c 74 69 6e 79 | 20 64 65 63 7d 7d 7b 5c |ox{\tiny| dec}}{\|
|00005e50| 6e 65 71 7d 7d 7d 0a 5c | 64 65 66 5c 64 6c 65 73 |neq}}}.\|def\dles|
|00005e60| 73 20 7b 5c 6d 61 74 68 | 72 65 6c 7b 5c 6f 76 65 |s {\math|rel{\ove|
|00005e70| 72 73 65 74 7b 5c 6d 62 | 6f 78 7b 5c 74 69 6e 79 |rset{\mb|ox{\tiny|
|00005e80| 20 64 65 63 7d 7d 7b 3c | 7d 7d 7d 0a 5c 64 65 66 | dec}}{<|}}}.\def|
|00005e90| 5c 64 67 72 65 61 74 7b | 5c 6d 61 74 68 72 65 6c |\dgreat{|\mathrel|
|00005ea0| 7b 5c 6f 76 65 72 73 65 | 74 7b 5c 6d 62 6f 78 7b |{\overse|t{\mbox{|
|00005eb0| 5c 74 69 6e 79 20 64 65 | 63 7d 7d 7b 3e 7d 7d 7d |\tiny de|c}}{>}}}|
|00005ec0| 0a 5c 64 65 66 5c 64 6c | 65 71 20 20 7b 5c 6d 61 |.\def\dl|eq {\ma|
|00005ed0| 74 68 72 65 6c 7b 5c 6f | 76 65 72 73 65 74 7b 5c |threl{\o|verset{\|
|00005ee0| 6d 62 6f 78 7b 5c 74 69 | 6e 79 20 64 65 63 7d 7d |mbox{\ti|ny dec}}|
|00005ef0| 7b 5c 6c 65 71 7d 7d 7d | 0a 5c 64 65 66 5c 64 67 |{\leq}}}|.\def\dg|
|00005f00| 72 65 71 20 7b 5c 6d 61 | 74 68 72 65 6c 7b 5c 6f |req {\ma|threl{\o|
|00005f10| 76 65 72 73 65 74 7b 5c | 6d 62 6f 78 7b 5c 74 69 |verset{\|mbox{\ti|
|00005f20| 6e 79 20 64 65 63 7d 7d | 7b 5c 67 65 71 7d 7d 7d |ny dec}}|{\geq}}}|
|00005f30| 0a 5c 64 65 66 5c 66 70 | 6c 75 73 20 7b 5c 6d 61 |.\def\fp|lus {\ma|
|00005f40| 74 68 72 65 6c 7b 5c 6f | 76 65 72 73 65 74 7b 5c |threl{\o|verset{\|
|00005f50| 6d 62 6f 78 7b 5c 74 69 | 6e 79 20 66 70 74 7d 7d |mbox{\ti|ny fpt}}|
|00005f60| 7b 2b 7d 7d 7d 0a 5c 64 | 65 66 5c 66 6d 69 6e 75 |{+}}}.\d|ef\fminu|
|00005f70| 73 7b 5c 6d 61 74 68 72 | 65 6c 7b 5c 6f 76 65 72 |s{\mathr|el{\over|
|00005f80| 73 65 74 7b 5c 6d 62 6f | 78 7b 5c 74 69 6e 79 20 |set{\mbo|x{\tiny |
|00005f90| 66 70 74 7d 7d 7b 2d 7d | 7d 7d 0a 5c 64 65 66 5c |fpt}}{-}|}}.\def\|
|00005fa0| 66 6d 75 6c 74 20 7b 5c | 6d 61 74 68 72 65 6c 7b |fmult {\|mathrel{|
|00005fb0| 5c 6f 76 65 72 73 65 74 | 7b 5c 6d 62 6f 78 7b 5c |\overset|{\mbox{\|
|00005fc0| 74 69 6e 79 20 66 70 74 | 7d 7d 7b 5c 74 69 6d 65 |tiny fpt|}}{\time|
|00005fd0| 73 7d 7d 7d 0a 5c 64 65 | 66 5c 66 64 69 76 20 20 |s}}}.\de|f\fdiv |
|00005fe0| 7b 5c 6d 61 74 68 72 65 | 6c 7b 5c 6f 76 65 72 73 |{\mathre|l{\overs|
|00005ff0| 65 74 7b 5c 6d 62 6f 78 | 7b 5c 74 69 6e 79 20 66 |et{\mbox|{\tiny f|
|00006000| 70 74 7d 7d 7b 5c 64 69 | 76 7d 7d 7d 0a 5c 64 65 |pt}}{\di|v}}}.\de|
|00006010| 66 5c 66 65 71 20 20 20 | 7b 5c 6d 61 74 68 72 65 |f\feq |{\mathre|
|00006020| 6c 7b 5c 6f 76 65 72 73 | 65 74 7b 5c 6d 62 6f 78 |l{\overs|et{\mbox|
|00006030| 7b 5c 74 69 6e 79 20 66 | 70 74 7d 7d 7b 3d 7d 7d |{\tiny f|pt}}{=}}|
|00006040| 7d 0a 5c 64 65 66 5c 66 | 6e 65 71 20 20 7b 5c 6d |}.\def\f|neq {\m|
|00006050| 61 74 68 72 65 6c 7b 5c | 6f 76 65 72 73 65 74 7b |athrel{\|overset{|
|00006060| 5c 6d 62 6f 78 7b 5c 74 | 69 6e 79 20 66 70 74 7d |\mbox{\t|iny fpt}|
|00006070| 7d 7b 5c 6e 65 71 7d 7d | 7d 0a 5c 64 65 66 5c 66 |}{\neq}}|}.\def\f|
|00006080| 6c 65 73 73 20 7b 5c 6d | 61 74 68 72 65 6c 7b 5c |less {\m|athrel{\|
|00006090| 6f 76 65 72 73 65 74 7b | 5c 6d 62 6f 78 7b 5c 74 |overset{|\mbox{\t|
|000060a0| 69 6e 79 20 66 70 74 7d | 7d 7b 3c 7d 7d 7d 0a 5c |iny fpt}|}{<}}}.\|
|000060b0| 64 65 66 5c 66 67 72 65 | 61 74 7b 5c 6d 61 74 68 |def\fgre|at{\math|
|000060c0| 72 65 6c 7b 5c 6f 76 65 | 72 73 65 74 7b 5c 6d 62 |rel{\ove|rset{\mb|
|000060d0| 6f 78 7b 5c 74 69 6e 79 | 20 66 70 74 7d 7d 7b 3e |ox{\tiny| fpt}}{>|
|000060e0| 7d 7d 7d 0a 5c 64 65 66 | 5c 66 6c 65 71 20 20 7b |}}}.\def|\fleq {|
|000060f0| 5c 6d 61 74 68 72 65 6c | 7b 5c 6f 76 65 72 73 65 |\mathrel|{\overse|
|00006100| 74 7b 5c 6d 62 6f 78 7b | 5c 74 69 6e 79 20 66 70 |t{\mbox{|\tiny fp|
|00006110| 74 7d 7d 7b 5c 6c 65 71 | 7d 7d 7d 0a 5c 64 65 66 |t}}{\leq|}}}.\def|
|00006120| 5c 66 67 72 65 71 20 7b | 5c 6d 61 74 68 72 65 6c |\fgreq {|\mathrel|
|00006130| 7b 5c 6f 76 65 72 73 65 | 74 7b 5c 6d 62 6f 78 7b |{\overse|t{\mbox{|
|00006140| 5c 74 69 6e 79 20 66 70 | 74 7d 7d 7b 5c 67 65 71 |\tiny fp|t}}{\geq|
|00006150| 7d 7d 7d 0a 0a 25 25 20 | 6d 6f 64 20 61 6e 64 20 |}}}..%% |mod and |
|00006160| 64 69 76 3a 0a 5c 64 65 | 66 5c 4d 4f 44 7b 5c 6d |div:.\de|f\MOD{\m|
|00006170| 61 74 68 72 65 6c 7b 5c | 74 65 78 74 7b 6d 6f 64 |athrel{\|text{mod|
|00006180| 7d 7d 7d 0a 5c 64 65 66 | 5c 44 49 56 7b 5c 6d 61 |}}}.\def|\DIV{\ma|
|00006190| 74 68 72 65 6c 7b 5c 74 | 65 78 74 7b 64 69 76 7d |threl{\t|ext{div}|
|000061a0| 7d 7d 0a 0a 25 25 20 61 | 64 64 20 74 68 65 20 64 |}}..%% a|dd the d|
|000061b0| 65 66 69 6e 69 74 69 6f | 6e 20 6f 66 20 6f 76 65 |efinitio|n of ove|
|000061c0| 72 73 65 74 20 69 66 20 | 6e 6f 74 20 70 72 65 73 |rset if |not pres|
|000061d0| 65 6e 74 3a 0a 5c 40 69 | 66 75 6e 64 65 66 69 6e |ent:.\@i|fundefin|
|000061e0| 65 64 7b 6f 76 65 72 73 | 65 74 7d 25 0a 20 20 7b |ed{overs|et}%. {|
|000061f0| 5c 64 65 66 5c 6f 76 65 | 72 73 65 74 23 31 23 32 |\def\ove|rset#1#2|
|00006200| 7b 5c 62 69 6e 72 65 6c | 40 7b 23 32 7d 25 0a 20 |{\binrel|@{#2}%. |
|00006210| 20 20 20 20 5c 62 69 6e | 72 65 6c 40 40 7b 5c 6d | \bin|rel@@{\m|
|00006220| 61 74 68 6f 70 7b 5c 6b | 65 72 6e 5c 7a 40 23 32 |athop{\k|ern\z@#2|
|00006230| 7d 5c 6c 69 6d 69 74 73 | 5e 7b 23 31 7d 7d 7d 0a |}\limits|^{#1}}}.|
|00006240| 20 20 20 5c 64 65 66 5c | 62 69 6e 72 65 6c 40 23 | \def\|binrel@#|
|00006250| 31 7b 5c 73 65 74 62 6f | 78 7a 40 68 7b 5c 74 68 |1{\setbo|xz@h{\th|
|00006260| 69 6e 6d 75 73 6b 69 70 | 30 6d 75 0a 20 20 20 20 |inmuskip|0mu. |
|00006270| 20 20 5c 6d 65 64 6d 75 | 73 6b 69 70 5c 6d 40 6e | \medmu|skip\m@n|
|00006280| 65 20 6d 75 5c 74 68 69 | 63 6b 6d 75 73 6b 69 70 |e mu\thi|ckmuskip|
|00006290| 5c 40 6e 65 20 6d 75 24 | 23 31 5c 6d 40 74 68 24 |\@ne mu$|#1\m@th$|
|000062a0| 7d 25 0a 20 20 20 20 20 | 5c 73 65 74 62 6f 78 40 |}%. |\setbox@|
|000062b0| 6e 65 5c 68 62 6f 78 7b | 5c 74 68 69 6e 6d 75 73 |ne\hbox{|\thinmus|
|000062c0| 6b 69 70 30 6d 75 5c 6d | 65 64 6d 75 73 6b 69 70 |kip0mu\m|edmuskip|
|000062d0| 5c 6d 40 6e 65 20 6d 75 | 5c 74 68 69 63 6b 6d 75 |\m@ne mu|\thickmu|
|000062e0| 73 6b 69 70 0a 20 20 20 | 20 20 20 5c 40 6e 65 20 |skip. | \@ne |
|000062f0| 6d 75 24 7b 7d 23 31 7b | 7d 5c 6d 40 74 68 24 7d |mu${}#1{|}\m@th$}|
|00006300| 25 0a 20 20 20 20 20 5c | 73 65 74 62 6f 78 5c 74 |%. \|setbox\t|
|00006310| 77 40 5c 68 62 6f 78 7b | 5c 68 73 6b 69 70 5c 77 |w@\hbox{|\hskip\w|
|00006320| 64 40 6e 65 5c 68 73 6b | 69 70 2d 5c 77 64 7a 40 |d@ne\hsk|ip-\wdz@|
|00006330| 7d 7d 0a 20 20 20 5c 64 | 65 66 5c 62 69 6e 72 65 |}}. \d|ef\binre|
|00006340| 6c 40 40 23 31 7b 5c 69 | 66 64 69 6d 5c 77 64 32 |l@@#1{\i|fdim\wd2|
|00006350| 3c 5c 7a 40 5c 6d 61 74 | 68 62 69 6e 7b 23 31 7d |<\z@\mat|hbin{#1}|
|00006360| 5c 65 6c 73 65 5c 69 66 | 64 69 6d 5c 77 64 5c 74 |\else\if|dim\wd\t|
|00006370| 77 40 3e 5c 7a 40 0a 20 | 20 20 20 20 5c 6d 61 74 |w@>\z@. | \mat|
|00006380| 68 72 65 6c 7b 23 31 7d | 5c 65 6c 73 65 7b 23 31 |hrel{#1}|\else{#1|
|00006390| 7d 5c 66 69 5c 66 69 7d | 25 0a 20 20 20 5c 64 65 |}\fi\fi}|%. \de|
|000063a0| 66 5c 73 65 74 62 6f 78 | 7a 40 68 7b 5c 73 65 74 |f\setbox|z@h{\set|
|000063b0| 62 6f 78 5c 7a 40 5c 68 | 62 6f 78 7d 25 0a 20 20 |box\z@\h|box}%. |
|000063c0| 20 5c 64 65 66 5c 73 65 | 74 62 6f 78 40 6e 65 7b | \def\se|tbox@ne{|
|000063d0| 5c 73 65 74 62 6f 78 5c | 40 6e 65 7d 25 0a 20 20 |\setbox\|@ne}%. |
|000063e0| 20 5c 64 65 66 5c 77 64 | 40 6e 65 7b 5c 77 64 5c | \def\wd|@ne{\wd\|
|000063f0| 40 6e 65 7d 25 0a 20 20 | 20 5c 64 65 66 5c 77 64 |@ne}%. | \def\wd|
+--------+-------------------------+-------------------------+--------+--------+
Only 25.0 KB of data is shown above.
