/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / scheme / schmrprt / r395rs.lha / lex.tex

< prev

next >

MacOS 8.1

Win98

DOS

browse contents

view JSON data

view as text

+--------+-------------------------+-------------------------+--------+--------+
|00000000| 25 20 4c 65 78 69 63 61 | 6c 20 73 74 72 75 63 74 |% Lexica|l struct|
|00000010| 75 72 65 0a 0a 25 25 5c | 76 66 69 6c 6c 5c 65 6a |ure..%%\|vfill\ej|
|00000020| 65 63 74 0a 5c 63 68 61 | 70 74 65 72 7b 4c 65 78 |ect.\cha|pter{Lex|
|00000030| 69 63 61 6c 20 63 6f 6e | 76 65 6e 74 69 6f 6e 73 |ical con|ventions|
|00000040| 7d 0a 0a 54 68 69 73 20 | 73 65 63 74 69 6f 6e 20 |}..This |section |
|00000050| 67 69 76 65 73 20 61 6e | 20 69 6e 66 6f 72 6d 61 |gives an| informa|
|00000060| 6c 20 61 63 63 6f 75 6e | 74 20 6f 66 20 73 6f 6d |l accoun|t of som|
|00000070| 65 20 6f 66 20 74 68 65 | 20 6c 65 78 69 63 61 6c |e of the| lexical|
|00000080| 0a 63 6f 6e 76 65 6e 74 | 69 6f 6e 73 20 75 73 65 |.convent|ions use|
|00000090| 64 20 69 6e 20 77 72 69 | 74 69 6e 67 20 53 63 68 |d in wri|ting Sch|
|000000a0| 65 6d 65 20 70 72 6f 67 | 72 61 6d 73 2e 20 20 46 |eme prog|rams.  F|
|000000b0| 6f 72 20 61 20 66 6f 72 | 6d 61 6c 20 73 79 6e 74 |or a for|mal synt|
|000000c0| 61 78 20 6f 66 0a 53 63 | 68 65 6d 65 2c 20 73 65 |ax of.Sc|heme, se|
|000000d0| 65 20 73 65 63 74 69 6f | 6e 7e 5c 72 65 66 7b 42 |e sectio|n~\ref{B|
|000000e0| 4e 46 7d 2e 0a 0a 5c 76 | 65 73 74 20 55 70 70 65 |NF}...\v|est Uppe|
|000000f0| 72 20 61 6e 64 20 6c 6f | 77 65 72 20 63 61 73 65 |r and lo|wer case|
|00000100| 20 66 6f 72 6d 73 20 6f | 66 20 61 20 6c 65 74 74 | forms o|f a lett|
|00000110| 65 72 20 61 72 65 20 6e | 65 76 65 72 20 64 69 73 |er are n|ever dis|
|00000120| 74 69 6e 67 75 69 73 68 | 65 64 0a 65 78 63 65 70 |tinguish|ed.excep|
|00000130| 74 20 77 69 74 68 69 6e | 20 63 68 61 72 61 63 74 |t within| charact|
|00000140| 65 72 20 61 6e 64 20 73 | 74 72 69 6e 67 20 63 6f |er and s|tring co|
|00000150| 6e 73 74 61 6e 74 73 2e | 20 20 46 6f 72 20 65 78 |nstants.|  For ex|
|00000160| 61 6d 70 6c 65 2c 20 5c | 69 64 65 7b 46 6f 6f 7d |ample, \|ide{Foo}|
|00000170| 20 69 73 0a 74 68 65 20 | 73 61 6d 65 20 69 64 65 | is.the |same ide|
|00000180| 6e 74 69 66 69 65 72 20 | 61 73 20 5c 69 64 65 7b |ntifier |as \ide{|
|00000190| 46 4f 4f 7d 2c 20 61 6e | 64 20 7b 5c 74 74 5c 23 |FOO}, an|d {\tt\#|
|000001a0| 78 31 41 42 7d 20 69 73 | 20 74 68 65 20 73 61 6d |x1AB} is| the sam|
|000001b0| 65 20 6e 75 6d 62 65 72 | 20 61 73 0a 7b 5c 74 74 |e number| as.{\tt|
|000001c0| 5c 23 58 31 61 62 7d 2e | 0a 0a 5c 73 65 63 74 69 |\#X1ab}.|..\secti|
|000001d0| 6f 6e 7b 49 64 65 6e 74 | 69 66 69 65 72 73 7d 0a |on{Ident|ifiers}.|
|000001e0| 5c 6c 61 62 65 6c 7b 73 | 79 6e 74 61 78 73 65 63 |\label{s|yntaxsec|
|000001f0| 74 69 6f 6e 7d 0a 0a 4d | 6f 73 74 20 69 64 65 6e |tion}..M|ost iden|
|00000200| 74 69 66 69 65 72 73 5c | 6d 61 69 6e 69 6e 64 65 |tifiers\|maininde|
|00000210| 78 7b 69 64 65 6e 74 69 | 66 69 65 72 7d 20 61 6c |x{identi|fier} al|
|00000220| 6c 6f 77 65 64 20 62 79 | 20 6f 74 68 65 72 20 70 |lowed by| other p|
|00000230| 72 6f 67 72 61 6d 6d 69 | 6e 67 0a 6c 61 6e 67 75 |rogrammi|ng.langu|
|00000240| 61 67 65 73 20 61 72 65 | 20 61 6c 73 6f 20 61 63 |ages are| also ac|
|00000250| 63 65 70 74 61 62 6c 65 | 20 74 6f 20 53 63 68 65 |ceptable| to Sche|
|00000260| 6d 65 2e 20 20 54 68 65 | 20 70 72 65 63 69 73 65 |me.  The| precise|
|00000270| 20 72 75 6c 65 73 20 66 | 6f 72 20 66 6f 72 6d 69 | rules f|or formi|
|00000280| 6e 67 0a 69 64 65 6e 74 | 69 66 69 65 72 73 20 76 |ng.ident|ifiers v|
|00000290| 61 72 79 20 61 6d 6f 6e | 67 20 69 6d 70 6c 65 6d |ary amon|g implem|
|000002a0| 65 6e 74 61 74 69 6f 6e | 73 20 6f 66 20 53 63 68 |entation|s of Sch|
|000002b0| 65 6d 65 2c 20 62 75 74 | 20 69 6e 20 61 6c 6c 0a |eme, but| in all.|
|000002c0| 69 6d 70 6c 65 6d 65 6e | 74 61 74 69 6f 6e 73 20 |implemen|tations |
|000002d0| 61 20 73 65 71 75 65 6e | 63 65 20 6f 66 20 6c 65 |a sequen|ce of le|
|000002e0| 74 74 65 72 73 2c 20 64 | 69 67 69 74 73 2c 20 61 |tters, d|igits, a|
|000002f0| 6e 64 20 60 60 65 78 74 | 65 6e 64 65 64 20 61 6c |nd ``ext|ended al|
|00000300| 70 68 61 62 65 74 69 63 | 0a 63 68 61 72 61 63 74 |phabetic|.charact|
|00000310| 65 72 73 27 27 20 74 68 | 61 74 20 62 65 67 69 6e |ers'' th|at begin|
|00000320| 73 20 77 69 74 68 20 61 | 20 63 68 61 72 61 63 74 |s with a| charact|
|00000330| 65 72 20 74 68 61 74 20 | 63 61 6e 6e 6f 74 20 62 |er that |cannot b|
|00000340| 65 67 69 6e 20 61 20 6e | 75 6d 62 65 72 20 69 73 |egin a n|umber is|
|00000350| 0a 61 6e 20 69 64 65 6e | 74 69 66 69 65 72 2e 20 |.an iden|tifier. |
|00000360| 20 49 6e 20 61 64 64 69 | 74 69 6f 6e 2c 20 5c 69 | In addi|tion, \i|
|00000370| 64 65 7b 2b 7d 20 61 6e | 64 20 5c 69 64 65 7b 2d |de{+} an|d \ide{-|
|00000380| 7d 20 28 77 68 69 63 68 | 20 63 61 6e 20 62 65 67 |} (which| can beg|
|00000390| 69 6e 0a 6e 75 6d 62 65 | 72 73 29 20 61 72 65 20 |in.numbe|rs) are |
|000003a0| 69 64 65 6e 74 69 66 69 | 65 72 73 2e 20 20 48 65 |identifi|ers.  He|
|000003b0| 72 65 20 61 72 65 20 73 | 6f 6d 65 20 65 78 61 6d |re are s|ome exam|
|000003c0| 70 6c 65 73 20 6f 66 20 | 69 64 65 6e 74 69 66 69 |ples of |identifi|
|000003d0| 65 72 73 3a 0a 0a 5c 62 | 65 67 69 6e 7b 73 63 68 |ers:..\b|egin{sch|
|000003e0| 65 6d 65 7d 0a 6c 61 6d | 62 64 61 20 20 20 20 20 |eme}.lam|bda     |
|000003f0| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 71 0a |        |      q.|
|00000400| 6c 69 73 74 2d 3e 76 65 | 63 74 6f 72 20 20 20 20 |list->ve|ctor    |
|00000410| 20 20 20 20 20 20 20 20 | 20 73 6f 75 70 0a 7b 2b |        | soup.{+|
|00000420| 7d 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |}       |        |
|00000430| 20 20 20 20 20 20 20 20 | 20 56 31 37 61 0a 3c 3d |        | V17a.<=|
|00000440| 3f 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |?       |        |
|00000450| 20 20 20 20 20 20 20 61 | 33 34 6b 54 4d 4e 73 0a |       a|34kTMNs.|
|00000460| 74 68 65 2d 77 6f 72 64 | 2d 72 65 63 75 72 73 69 |the-word|-recursi|
|00000470| 6f 6e 2d 68 61 73 2d 6d | 61 6e 79 2d 6d 65 61 6e |on-has-m|any-mean|
|00000480| 69 6e 67 73 25 0a 5c 65 | 6e 64 7b 73 63 68 65 6d |ings%.\e|nd{schem|
|00000490| 65 7d 0a 0a 25 20 20 5f | 20 3d 20 35 46 20 20 20 |e}..%  _| = 5F   |
|000004a0| 26 20 3d 20 32 36 20 20 | 20 7e 20 3d 20 37 45 20 |& = 26  | ~ = 7E |
|000004b0| 20 20 5e 20 3d 20 35 45 | 0a 0a 45 78 74 65 6e 64 |  ^ = 5E|..Extend|
|000004c0| 65 64 20 61 6c 70 68 61 | 62 65 74 69 63 20 63 68 |ed alpha|betic ch|
|000004d0| 61 72 61 63 74 65 72 73 | 20 6d 61 79 20 62 65 20 |aracters| may be |
|000004e0| 75 73 65 64 20 69 6e 20 | 69 64 65 6e 74 69 66 69 |used in |identifi|
|000004f0| 65 72 73 20 65 78 61 63 | 74 6c 79 20 61 73 20 69 |ers exac|tly as i|
|00000500| 66 0a 74 68 65 79 20 77 | 65 72 65 20 6c 65 74 74 |f.they w|ere lett|
|00000510| 65 72 73 2e 20 20 54 68 | 65 20 66 6f 6c 6c 6f 77 |ers.  Th|e follow|
|00000520| 69 6e 67 20 61 72 65 20 | 65 78 74 65 6e 64 65 64 |ing are |extended|
|00000530| 20 61 6c 70 68 61 62 65 | 74 69 63 20 63 68 61 72 | alphabe|tic char|
|00000540| 61 63 74 65 72 73 3a 0a | 0a 5c 62 65 67 69 6e 7b |acters:.|.\begin{|
|00000550| 73 63 68 65 6d 65 7d 0a | 2b 20 2d 20 2e 20 2a 20 |scheme}.|+ - . * |
|00000560| 2f 20 3c 20 3d 20 3e 20 | 21 5c 20 3f 5c 20 3a 5c |/ < = > |!\ ?\ :\|
|00000570| 20 5c 24 20 5c 25 20 5c | 63 68 61 72 22 35 46 7b | \$ \% \|char"5F{|
|00000580| 7d 20 5c 63 68 61 72 22 | 32 36 7b 7d 20 5c 63 68 |} \char"|26{} \ch|
|00000590| 61 72 22 37 45 7b 7d 20 | 5c 63 68 61 72 22 35 45 |ar"7E{} |\char"5E|
|000005a0| 20 25 0a 5c 65 6e 64 7b | 73 63 68 65 6d 65 7d 0a | %.\end{|scheme}.|
|000005b0| 0a 53 65 65 20 73 65 63 | 74 69 6f 6e 7e 5c 72 65 |.See sec|tion~\re|
|000005c0| 66 7b 65 78 74 65 6e 64 | 65 64 61 6c 70 68 61 73 |f{extend|edalphas|
|000005d0| 7d 20 66 6f 72 20 61 20 | 66 6f 72 6d 61 6c 20 73 |} for a |formal s|
|000005e0| 79 6e 74 61 78 20 6f 66 | 20 69 64 65 6e 74 69 66 |yntax of| identif|
|000005f0| 69 65 72 73 2e 0a 0a 5c | 76 65 73 74 20 49 64 65 |iers...\|vest Ide|
|00000600| 6e 74 69 66 69 65 72 73 | 20 68 61 76 65 20 73 65 |ntifiers| have se|
|00000610| 76 65 72 61 6c 20 75 73 | 65 73 20 77 69 74 68 69 |veral us|es withi|
|00000620| 6e 20 53 63 68 65 6d 65 | 20 70 72 6f 67 72 61 6d |n Scheme| program|
|00000630| 73 3a 0a 5c 62 65 67 69 | 6e 7b 69 74 65 6d 69 7a |s:.\begi|n{itemiz|
|00000640| 65 7d 0a 5c 69 74 65 6d | 20 43 65 72 74 61 69 6e |e}.\item| Certain|
|00000650| 20 69 64 65 6e 74 69 66 | 69 65 72 73 20 61 72 65 | identif|iers are|
|00000660| 20 72 65 73 65 72 76 65 | 64 20 66 6f 72 20 75 73 | reserve|d for us|
|00000670| 65 20 61 73 20 73 79 6e | 74 61 63 74 69 63 20 6b |e as syn|tactic k|
|00000680| 65 79 77 6f 72 64 73 0a | 28 73 65 65 20 62 65 6c |eywords.|(see bel|
|00000690| 6f 77 29 2e 5c 69 6e 64 | 65 78 7b 73 79 6e 74 61 |ow).\ind|ex{synta|
|000006a0| 63 74 69 63 20 6b 65 79 | 77 6f 72 64 7d 5c 69 6e |ctic key|word}\in|
|000006b0| 64 65 78 7b 6b 65 79 77 | 6f 72 64 7d 0a 25 20 20 |dex{keyw|ord}.%  |
|000006c0| 28 54 68 69 73 20 64 6f | 65 73 20 6e 6f 74 20 70 |(This do|es not p|
|000006d0| 72 65 63 6c 75 64 65 20 | 74 68 65 69 72 20 75 73 |reclude |their us|
|000006e0| 65 20 61 73 20 69 64 65 | 6e 74 69 66 69 65 72 73 |e as ide|ntifiers|
|000006f0| 0a 25 61 73 20 77 65 6c | 6c 2c 20 61 6c 74 68 6f |.%as wel|l, altho|
|00000700| 75 67 68 20 69 6e 20 63 | 65 72 74 61 69 6e 20 73 |ugh in c|ertain s|
|00000710| 69 74 75 61 74 69 6f 6e | 73 20 61 6d 62 69 67 75 |ituation|s ambigu|
|00000720| 69 74 69 65 73 20 63 61 | 6e 20 72 65 73 75 6c 74 |ities ca|n result|
|00000730| 20 69 66 20 74 68 69 73 | 20 69 73 20 64 6f 6e 65 | if this| is done|
|00000740| 2e 29 0a 0a 5c 69 74 65 | 6d 20 41 6e 79 20 69 64 |.)..\ite|m Any id|
|00000750| 65 6e 74 69 66 69 65 72 | 20 74 68 61 74 20 69 73 |entifier| that is|
|00000760| 20 6e 6f 74 20 61 20 73 | 79 6e 74 61 63 74 69 63 | not a s|yntactic|
|00000770| 20 6b 65 79 77 6f 72 64 | 20 6d 61 79 20 62 65 20 | keyword| may be |
|00000780| 75 73 65 64 20 61 73 20 | 61 0a 76 61 72 69 61 62 |used as |a.variab|
|00000790| 6c 65 5c 69 6e 64 65 78 | 7b 76 61 72 69 61 62 6c |le\index|{variabl|
|000007a0| 65 7d 20 28 73 65 65 20 | 73 65 63 74 69 6f 6e 7e |e} (see |section~|
|000007b0| 5c 72 65 66 7b 76 61 72 | 69 61 62 6c 65 73 65 63 |\ref{var|iablesec|
|000007c0| 74 69 6f 6e 7d 29 2e 0a | 0a 5c 69 74 65 6d 20 57 |tion})..|.\item W|
|000007d0| 68 65 6e 20 61 6e 20 69 | 64 65 6e 74 69 66 69 65 |hen an i|dentifie|
|000007e0| 72 20 61 70 70 65 61 72 | 73 20 61 73 20 61 20 6c |r appear|s as a l|
|000007f0| 69 74 65 72 61 6c 20 6f | 72 20 77 69 74 68 69 6e |iteral o|r within|
|00000800| 20 61 20 6c 69 74 65 72 | 61 6c 0a 28 73 65 65 20 | a liter|al.(see |
|00000810| 73 65 63 74 69 6f 6e 7e | 5c 72 65 66 7b 71 75 6f |section~|\ref{quo|
|00000820| 74 65 7d 29 2c 20 69 74 | 20 69 73 20 62 65 69 6e |te}), it| is bein|
|00000830| 67 20 75 73 65 64 20 74 | 6f 20 64 65 6e 6f 74 65 |g used t|o denote|
|00000840| 20 61 20 7b 5c 65 6d 20 | 73 79 6d 62 6f 6c 7d 0a | a {\em |symbol}.|
|00000850| 28 73 65 65 20 73 65 63 | 74 69 6f 6e 7e 5c 72 65 |(see sec|tion~\re|
|00000860| 66 7b 73 79 6d 62 6f 6c | 73 65 63 74 69 6f 6e 7d |f{symbol|section}|
|00000870| 29 2e 0a 0a 5c 65 6e 64 | 7b 69 74 65 6d 69 7a 65 |)...\end|{itemize|
|00000880| 7d 0a 0a 5c 6c 61 62 65 | 6c 7b 6b 65 79 77 6f 72 |}..\labe|l{keywor|
|00000890| 64 73 65 63 74 69 6f 6e | 7d 0a 54 68 65 20 66 6f |dsection|}.The fo|
|000008a0| 6c 6c 6f 77 69 6e 67 20 | 69 64 65 6e 74 69 66 69 |llowing |identifi|
|000008b0| 65 72 73 20 61 72 65 20 | 73 79 6e 74 61 63 74 69 |ers are |syntacti|
|000008c0| 63 20 6b 65 79 77 6f 72 | 64 73 2c 20 61 6e 64 20 |c keywor|ds, and |
|000008d0| 73 68 6f 75 6c 64 20 6e | 6f 74 20 62 65 20 75 73 |should n|ot be us|
|000008e0| 65 64 0a 61 73 20 76 61 | 72 69 61 62 6c 65 73 3a |ed.as va|riables:|
|000008f0| 0a 0a 5c 62 65 67 69 6e | 7b 73 63 68 65 6d 65 7d |..\begin|{scheme}|
|00000900| 0a 3d 3e 20 20 20 20 20 | 20 20 20 20 20 20 64 6f |.=>     |      do|
|00000910| 20 20 20 20 20 20 20 20 | 20 20 20 20 6f 72 0a 61 |        |    or.a|
|00000920| 6e 64 20 20 20 20 20 20 | 20 20 20 20 65 6c 73 65 |nd      |    else|
|00000930| 20 20 20 20 20 20 20 20 | 20 20 71 75 61 73 69 71 |        |  quasiq|
|00000940| 75 6f 74 65 0a 62 65 67 | 69 6e 20 20 20 20 20 20 |uote.beg|in      |
|00000950| 20 20 69 66 20 20 20 20 | 20 20 20 20 20 20 20 20 |  if    |        |
|00000960| 71 75 6f 74 65 0a 63 61 | 73 65 20 20 20 20 20 20 |quote.ca|se      |
|00000970| 20 20 20 6c 61 6d 62 64 | 61 20 20 20 20 20 20 20 |   lambd|a       |
|00000980| 20 73 65 74 21 0a 63 6f | 6e 64 20 20 20 20 20 20 | set!.co|nd      |
|00000990| 20 20 20 6c 65 74 20 20 | 20 20 20 20 20 20 20 20 |   let  |        |
|000009a0| 20 75 6e 71 75 6f 74 65 | 0a 64 65 66 69 6e 65 20 | unquote|.define |
|000009b0| 20 20 20 20 20 20 6c 65 | 74 2a 20 20 20 20 20 20 |      le|t*      |
|000009c0| 20 20 20 20 75 6e 71 75 | 6f 74 65 2d 73 70 6c 69 |    unqu|ote-spli|
|000009d0| 63 69 6e 67 0a 64 65 6c | 61 79 20 20 20 20 20 20 |cing.del|ay      |
|000009e0| 20 20 6c 65 74 72 65 63 | 25 0a 5c 65 6e 64 7b 73 |  letrec|%.\end{s|
|000009f0| 63 68 65 6d 65 7d 0a 0a | 53 6f 6d 65 20 69 6d 70 |cheme}..|Some imp|
|00000a00| 6c 65 6d 65 6e 74 61 74 | 69 6f 6e 73 20 61 6c 6c |lementat|ions all|
|00000a10| 6f 77 20 61 6c 6c 20 69 | 64 65 6e 74 69 66 69 65 |ow all i|dentifie|
|00000a20| 72 73 2c 20 69 6e 63 6c | 75 64 69 6e 67 20 73 79 |rs, incl|uding sy|
|00000a30| 6e 74 61 63 74 69 63 0a | 6b 65 79 77 6f 72 64 73 |ntactic.|keywords|
|00000a40| 2c 20 74 6f 20 62 65 20 | 75 73 65 64 20 61 73 20 |, to be |used as |
|00000a50| 76 61 72 69 61 62 6c 65 | 73 2e 20 20 54 68 69 73 |variable|s.  This|
|00000a60| 20 69 73 20 61 20 63 6f | 6d 70 61 74 69 62 6c 65 | is a co|mpatible|
|00000a70| 20 65 78 74 65 6e 73 69 | 6f 6e 20 74 6f 0a 74 68 | extensi|on to.th|
|00000a80| 65 20 6c 61 6e 67 75 61 | 67 65 2c 20 62 75 74 20 |e langua|ge, but |
|00000a90| 61 6d 62 69 67 75 69 74 | 69 65 73 20 69 6e 20 74 |ambiguit|ies in t|
|00000aa0| 68 65 20 6c 61 6e 67 75 | 61 67 65 20 72 65 73 75 |he langu|age resu|
|00000ab0| 6c 74 20 77 68 65 6e 20 | 74 68 65 0a 72 65 73 74 |lt when |the.rest|
|00000ac0| 72 69 63 74 69 6f 6e 20 | 69 73 20 72 65 6c 61 78 |riction |is relax|
|00000ad0| 65 64 2c 20 61 6e 64 20 | 74 68 65 20 77 61 79 73 |ed, and |the ways|
|00000ae0| 20 69 6e 20 77 68 69 63 | 68 20 74 68 65 73 65 20 | in whic|h these |
|00000af0| 61 6d 62 69 67 75 69 74 | 69 65 73 20 61 72 65 0a |ambiguit|ies are.|
|00000b00| 72 65 73 6f 6c 76 65 64 | 20 76 61 72 79 20 62 65 |resolved| vary be|
|00000b10| 74 77 65 65 6e 20 69 6d | 70 6c 65 6d 65 6e 74 61 |tween im|plementa|
|00000b20| 74 69 6f 6e 73 2e 0a 0a | 54 68 65 20 63 68 61 72 |tions...|The char|
|00000b30| 61 63 74 65 72 73 20 7b | 5c 74 74 3f 7d 5c 20 61 |acters {|\tt?}\ a|
|00000b40| 6e 64 20 7b 5c 74 74 21 | 7d 5c 20 68 61 76 65 20 |nd {\tt!|}\ have |
|00000b50| 6e 6f 20 73 70 65 63 69 | 61 6c 20 70 72 6f 70 65 |no speci|al prope|
|00000b60| 72 74 69 65 73 2d 2d 2d | 74 68 65 79 20 61 72 65 |rties---|they are|
|00000b70| 0a 65 78 74 65 6e 64 65 | 64 20 61 6c 70 68 61 62 |.extende|d alphab|
|00000b80| 65 74 69 63 20 63 68 61 | 72 61 63 74 65 72 73 2e |etic cha|racters.|
|00000b90| 20 20 42 79 20 63 6f 6e | 76 65 6e 74 69 6f 6e 2c |  By con|vention,|
|00000ba0| 20 68 6f 77 65 76 65 72 | 2c 20 6d 6f 73 74 20 70 | however|, most p|
|00000bb0| 72 65 64 69 63 61 74 65 | 0a 70 72 6f 63 65 64 75 |redicate|.procedu|
|00000bc0| 72 65 73 20 28 74 68 6f | 73 65 20 74 68 61 74 20 |res (tho|se that |
|00000bd0| 72 65 74 75 72 6e 20 62 | 6f 6f 6c 65 61 6e 20 76 |return b|oolean v|
|00000be0| 61 6c 75 65 73 29 20 61 | 72 65 20 6e 61 6d 65 64 |alues) a|re named|
|00000bf0| 20 62 79 20 69 64 65 6e | 74 69 66 69 65 72 73 0a | by iden|tifiers.|
|00000c00| 74 68 61 74 20 65 6e 64 | 20 69 6e 20 7b 5c 74 74 |that end| in {\tt|
|00000c10| 3f 7d 2c 20 61 6e 64 20 | 6d 6f 73 74 20 64 61 74 |?}, and |most dat|
|00000c20| 61 20 6d 75 74 61 74 69 | 6f 6e 20 70 72 6f 63 65 |a mutati|on proce|
|00000c30| 64 75 72 65 73 20 61 72 | 65 20 6e 61 6d 65 64 20 |dures ar|e named |
|00000c40| 62 79 0a 69 64 65 6e 74 | 69 66 69 65 72 73 20 74 |by.ident|ifiers t|
|00000c50| 68 61 74 20 65 6e 64 20 | 69 6e 20 7b 5c 74 74 21 |hat end |in {\tt!|
|00000c60| 7d 2e 5c 73 63 68 69 6e | 64 65 78 7b 21 7d 5c 73 |}.\schin|dex{!}\s|
|00000c70| 63 68 69 6e 64 65 78 7b | 3f 7d 0a 0a 0a 5c 73 65 |chindex{|?}...\se|
|00000c80| 63 74 69 6f 6e 7b 57 68 | 69 74 65 73 70 61 63 65 |ction{Wh|itespace|
|00000c90| 20 61 6e 64 20 63 6f 6d | 6d 65 6e 74 73 7d 0a 0a | and com|ments}..|
|00000ca0| 5c 64 65 66 69 6e 69 6e | 67 7b 57 68 69 74 65 73 |\definin|g{Whites|
|00000cb0| 70 61 63 65 7d 20 63 68 | 61 72 61 63 74 65 72 73 |pace} ch|aracters|
|00000cc0| 20 61 72 65 20 73 70 61 | 63 65 73 20 61 6e 64 20 | are spa|ces and |
|00000cd0| 6e 65 77 6c 69 6e 65 73 | 2e 0a 28 49 6d 70 6c 65 |newlines|..(Imple|
|00000ce0| 6d 65 6e 74 61 74 69 6f | 6e 73 20 74 79 70 69 63 |mentatio|ns typic|
|00000cf0| 61 6c 6c 79 20 70 72 6f | 76 69 64 65 20 61 64 64 |ally pro|vide add|
|00000d00| 69 74 69 6f 6e 61 6c 20 | 77 68 69 74 65 73 70 61 |itional |whitespa|
|00000d10| 63 65 20 63 68 61 72 61 | 63 74 65 72 73 20 73 75 |ce chara|cters su|
|00000d20| 63 68 0a 61 73 20 74 61 | 62 20 6f 72 20 70 61 67 |ch.as ta|b or pag|
|00000d30| 65 20 62 72 65 61 6b 2e | 29 20 20 57 68 69 74 65 |e break.|)  White|
|00000d40| 73 70 61 63 65 20 69 73 | 20 75 73 65 64 20 66 6f |space is| used fo|
|00000d50| 72 20 69 6d 70 72 6f 76 | 65 64 20 72 65 61 64 61 |r improv|ed reada|
|00000d60| 62 69 6c 69 74 79 20 61 | 6e 64 0a 61 73 20 6e 65 |bility a|nd.as ne|
|00000d70| 63 65 73 73 61 72 79 20 | 74 6f 20 73 65 70 61 72 |cessary |to separ|
|00000d80| 61 74 65 20 74 6f 6b 65 | 6e 73 20 66 72 6f 6d 20 |ate toke|ns from |
|00000d90| 65 61 63 68 20 6f 74 68 | 65 72 2c 20 61 20 74 6f |each oth|er, a to|
|00000da0| 6b 65 6e 20 62 65 69 6e | 67 20 61 6e 0a 69 6e 64 |ken bein|g an.ind|
|00000db0| 69 76 69 73 69 62 6c 65 | 20 6c 65 78 69 63 61 6c |ivisible| lexical|
|00000dc0| 20 75 6e 69 74 20 73 75 | 63 68 20 61 73 20 61 6e | unit su|ch as an|
|00000dd0| 20 69 64 65 6e 74 69 66 | 69 65 72 20 6f 72 20 6e | identif|ier or n|
|00000de0| 75 6d 62 65 72 2c 20 62 | 75 74 20 69 73 0a 6f 74 |umber, b|ut is.ot|
|00000df0| 68 65 72 77 69 73 65 20 | 69 6e 73 69 67 6e 69 66 |herwise |insignif|
|00000e00| 69 63 61 6e 74 2e 20 20 | 57 68 69 74 65 73 70 61 |icant.  |Whitespa|
|00000e10| 63 65 20 6d 61 79 20 6f | 63 63 75 72 20 62 65 74 |ce may o|ccur bet|
|00000e20| 77 65 65 6e 20 61 6e 79 | 20 74 77 6f 20 74 6f 6b |ween any| two tok|
|00000e30| 65 6e 73 2c 0a 62 75 74 | 20 6e 6f 74 20 77 69 74 |ens,.but| not wit|
|00000e40| 68 69 6e 20 61 20 74 6f | 6b 65 6e 2e 20 20 57 68 |hin a to|ken.  Wh|
|00000e50| 69 74 65 73 70 61 63 65 | 20 6d 61 79 20 61 6c 73 |itespace| may als|
|00000e60| 6f 20 6f 63 63 75 72 20 | 69 6e 73 69 64 65 20 61 |o occur |inside a|
|00000e70| 20 73 74 72 69 6e 67 2c | 0a 77 68 65 72 65 20 69 | string,|.where i|
|00000e80| 74 20 69 73 20 73 69 67 | 6e 69 66 69 63 61 6e 74 |t is sig|nificant|
|00000e90| 2e 0a 0a 41 20 73 65 6d | 69 63 6f 6c 6f 6e 20 28 |...A sem|icolon (|
|00000ea0| 7b 5c 74 74 3b 7d 29 20 | 69 6e 64 69 63 61 74 65 |{\tt;}) |indicate|
|00000eb0| 73 20 74 68 65 20 73 74 | 61 72 74 20 6f 66 20 61 |s the st|art of a|
|00000ec0| 0a 63 6f 6d 6d 65 6e 74 | 2e 5c 6d 61 69 6e 69 6e |.comment|.\mainin|
|00000ed0| 64 65 78 7b 63 6f 6d 6d | 65 6e 74 7d 5c 6d 61 69 |dex{comm|ent}\mai|
|00000ee0| 6e 73 63 68 69 6e 64 65 | 78 7b 3b 7d 20 20 54 68 |nschinde|x{;}  Th|
|00000ef0| 65 20 63 6f 6d 6d 65 6e | 74 20 63 6f 6e 74 69 6e |e commen|t contin|
|00000f00| 75 65 73 20 74 6f 20 74 | 68 65 0a 65 6e 64 20 6f |ues to t|he.end o|
|00000f10| 66 20 74 68 65 20 6c 69 | 6e 65 20 6f 6e 20 77 68 |f the li|ne on wh|
|00000f20| 69 63 68 20 74 68 65 20 | 73 65 6d 69 63 6f 6c 6f |ich the |semicolo|
|00000f30| 6e 20 61 70 70 65 61 72 | 73 2e 20 20 43 6f 6d 6d |n appear|s.  Comm|
|00000f40| 65 6e 74 73 20 61 72 65 | 20 69 6e 76 69 73 69 62 |ents are| invisib|
|00000f50| 6c 65 0a 74 6f 20 53 63 | 68 65 6d 65 2c 20 62 75 |le.to Sc|heme, bu|
|00000f60| 74 20 74 68 65 20 65 6e | 64 20 6f 66 20 74 68 65 |t the en|d of the|
|00000f70| 20 6c 69 6e 65 20 69 73 | 20 76 69 73 69 62 6c 65 | line is| visible|
|00000f80| 20 61 73 20 77 68 69 74 | 65 73 70 61 63 65 2e 20 | as whit|espace. |
|00000f90| 20 54 68 69 73 0a 70 72 | 65 76 65 6e 74 73 20 61 | This.pr|events a|
|00000fa0| 20 63 6f 6d 6d 65 6e 74 | 20 66 72 6f 6d 20 61 70 | comment| from ap|
|00000fb0| 70 65 61 72 69 6e 67 20 | 69 6e 20 74 68 65 20 6d |pearing |in the m|
|00000fc0| 69 64 64 6c 65 20 6f 66 | 20 61 6e 20 69 64 65 6e |iddle of| an iden|
|00000fd0| 74 69 66 69 65 72 20 6f | 72 0a 6e 75 6d 62 65 72 |tifier o|r.number|
|00000fe0| 2e 0a 0a 5c 62 65 67 69 | 6e 7b 73 63 68 65 6d 65 |...\begi|n{scheme|
|00000ff0| 7d 0a 3b 3b 3b 20 54 68 | 65 20 46 41 43 54 20 70 |}.;;; Th|e FACT p|
|00001000| 72 6f 63 65 64 75 72 65 | 20 63 6f 6d 70 75 74 65 |rocedure| compute|
|00001010| 73 20 74 68 65 20 66 61 | 63 74 6f 72 69 61 6c 0a |s the fa|ctorial.|
|00001020| 3b 3b 3b 20 6f 66 20 61 | 20 6e 6f 6e 2d 6e 65 67 |;;; of a| non-neg|
|00001030| 61 74 69 76 65 20 69 6e | 74 65 67 65 72 2e 0a 28 |ative in|teger..(|
|00001040| 64 65 66 69 6e 65 20 66 | 61 63 74 0a 20 20 28 6c |define f|act.  (l|
|00001050| 61 6d 62 64 61 20 28 6e | 29 0a 20 20 20 20 28 69 |ambda (n|).    (i|
|00001060| 66 20 28 3d 20 6e 20 30 | 29 0a 20 20 20 20 20 20 |f (= n 0|).      |
|00001070| 20 20 31 20 20 20 20 20 | 20 20 20 3b 42 61 73 65 |  1     |   ;Base|
|00001080| 20 63 61 73 65 3a 20 72 | 65 74 75 72 6e 20 31 0a | case: r|eturn 1.|
|00001090| 20 20 20 20 20 20 20 20 | 28 2a 20 6e 20 28 66 61 |        |(* n (fa|
|000010a0| 63 74 20 28 2d 20 6e 20 | 31 29 29 29 29 29 29 25 |ct (- n |1))))))%|
|000010b0| 0a 5c 65 6e 64 7b 73 63 | 68 65 6d 65 7d 0a 0a 0a |.\end{sc|heme}...|
|000010c0| 5c 73 65 63 74 69 6f 6e | 7b 4f 74 68 65 72 20 6e |\section|{Other n|
|000010d0| 6f 74 61 74 69 6f 6e 73 | 7d 0a 0a 5c 74 6f 64 6f |otations|}..\todo|
|000010e0| 7b 52 65 77 72 69 74 65 | 3f 7d 0a 0a 46 6f 72 20 |{Rewrite|?}..For |
|000010f0| 61 20 64 65 73 63 72 69 | 70 74 69 6f 6e 20 6f 66 |a descri|ption of|
|00001100| 20 74 68 65 20 6e 6f 74 | 61 74 69 6f 6e 73 20 75 | the not|ations u|
|00001110| 73 65 64 20 66 6f 72 20 | 6e 75 6d 62 65 72 73 2c |sed for |numbers,|
|00001120| 20 73 65 65 0a 73 65 63 | 74 69 6f 6e 7e 5c 72 65 | see.sec|tion~\re|
|00001130| 66 7b 6e 75 6d 62 65 72 | 73 65 63 74 69 6f 6e 7d |f{number|section}|
|00001140| 2e 0a 0a 5c 62 65 67 69 | 6e 7b 64 65 73 63 72 69 |...\begi|n{descri|
|00001150| 70 74 69 6f 6e 7d 7b 7d | 7b 7d 0a 0a 5c 69 74 65 |ption}{}|{}..\ite|
|00001160| 6d 5b 7b 5c 74 74 2e 5c | 20 2b 20 2d 7d 5d 0a 54 |m[{\tt.\| + -}].T|
|00001170| 68 65 73 65 20 61 72 65 | 20 75 73 65 64 20 69 6e |hese are| used in|
|00001180| 20 6e 75 6d 62 65 72 73 | 2c 20 61 6e 64 20 6d 61 | numbers|, and ma|
|00001190| 79 20 61 6c 73 6f 20 6f | 63 63 75 72 20 61 6e 79 |y also o|ccur any|
|000011a0| 77 68 65 72 65 20 69 6e | 20 61 6e 20 69 64 65 6e |where in| an iden|
|000011b0| 74 69 66 69 65 72 0a 65 | 78 63 65 70 74 20 61 73 |tifier.e|xcept as|
|000011c0| 20 74 68 65 20 66 69 72 | 73 74 20 63 68 61 72 61 | the fir|st chara|
|000011d0| 63 74 65 72 2e 20 20 41 | 20 64 65 6c 69 6d 69 74 |cter.  A| delimit|
|000011e0| 65 64 20 70 6c 75 73 20 | 6f 72 20 6d 69 6e 75 73 |ed plus |or minus|
|000011f0| 20 73 69 67 6e 20 62 79 | 20 69 74 73 65 6c 66 0a | sign by| itself.|
|00001200| 69 73 20 61 6c 73 6f 20 | 61 6e 20 69 64 65 6e 74 |is also |an ident|
|00001210| 69 66 69 65 72 2e 0a 41 | 20 64 65 6c 69 6d 69 74 |ifier..A| delimit|
|00001220| 65 64 20 70 65 72 69 6f | 64 20 28 6e 6f 74 20 6f |ed perio|d (not o|
|00001230| 63 63 75 72 72 69 6e 67 | 20 77 69 74 68 69 6e 20 |ccurring| within |
|00001240| 61 20 6e 75 6d 62 65 72 | 20 6f 72 20 69 64 65 6e |a number| or iden|
|00001250| 74 69 66 69 65 72 29 20 | 69 73 20 75 73 65 64 0a |tifier) |is used.|
|00001260| 69 6e 20 74 68 65 20 6e | 6f 74 61 74 69 6f 6e 20 |in the n|otation |
|00001270| 66 6f 72 20 70 61 69 72 | 73 20 28 73 65 63 74 69 |for pair|s (secti|
|00001280| 6f 6e 7e 5c 72 65 66 7b | 6c 69 73 74 73 65 63 74 |on~\ref{|listsect|
|00001290| 69 6f 6e 7d 29 2c 20 61 | 6e 64 20 74 6f 20 69 6e |ion}), a|nd to in|
|000012a0| 64 69 63 61 74 65 20 61 | 0a 72 65 73 74 2d 70 61 |dicate a|.rest-pa|
|000012b0| 72 61 6d 65 74 65 72 20 | 69 6e 20 61 20 20 66 6f |rameter |in a  fo|
|000012c0| 72 6d 61 6c 20 70 61 72 | 61 6d 65 74 65 72 20 6c |rmal par|ameter l|
|000012d0| 69 73 74 20 28 73 65 63 | 74 69 6f 6e 7e 5c 72 65 |ist (sec|tion~\re|
|000012e0| 66 7b 6c 61 6d 62 64 61 | 7d 29 2e 0a 0a 5c 69 74 |f{lambda|})...\it|
|000012f0| 65 6d 5b 5c 74 74 28 20 | 29 5d 0a 50 61 72 65 6e |em[\tt( |)].Paren|
|00001300| 74 68 65 73 65 73 20 61 | 72 65 20 75 73 65 64 20 |theses a|re used |
|00001310| 66 6f 72 20 67 72 6f 75 | 70 69 6e 67 20 61 6e 64 |for grou|ping and|
|00001320| 20 74 6f 20 6e 6f 74 61 | 74 65 20 6c 69 73 74 73 | to nota|te lists|
|00001330| 0a 28 73 65 63 74 69 6f | 6e 7e 5c 72 65 66 7b 6c |.(sectio|n~\ref{l|
|00001340| 69 73 74 73 65 63 74 69 | 6f 6e 7d 29 2e 0a 0a 5c |istsecti|on})...\|
|00001350| 69 74 65 6d 5b 5c 73 69 | 6e 67 6c 65 71 75 6f 74 |item[\si|nglequot|
|00001360| 65 5d 0a 54 68 65 20 73 | 69 6e 67 6c 65 20 71 75 |e].The s|ingle qu|
|00001370| 6f 74 65 20 63 68 61 72 | 61 63 74 65 72 20 69 73 |ote char|acter is|
|00001380| 20 75 73 65 64 20 74 6f | 20 69 6e 64 69 63 61 74 | used to| indicat|
|00001390| 65 20 6c 69 74 65 72 61 | 6c 20 64 61 74 61 20 28 |e litera|l data (|
|000013a0| 73 65 63 74 69 6f 6e 7e | 5c 72 65 66 7b 71 75 6f |section~|\ref{quo|
|000013b0| 74 65 7d 29 2e 0a 0a 5c | 69 74 65 6d 5b 5c 62 61 |te})...\|item[\ba|
|000013c0| 63 6b 71 75 6f 74 65 5d | 0a 54 68 65 20 62 61 63 |ckquote]|.The bac|
|000013d0| 6b 71 75 6f 74 65 20 63 | 68 61 72 61 63 74 65 72 |kquote c|haracter|
|000013e0| 20 69 73 20 75 73 65 64 | 20 74 6f 20 69 6e 64 69 | is used| to indi|
|000013f0| 63 61 74 65 20 61 6c 6d | 6f 73 74 2d 63 6f 6e 73 |cate alm|ost-cons|
|00001400| 74 61 6e 74 0a 64 61 74 | 61 20 28 73 65 63 74 69 |tant.dat|a (secti|
|00001410| 6f 6e 7e 5c 72 65 66 7b | 71 75 61 73 69 71 75 6f |on~\ref{|quasiquo|
|00001420| 74 65 7d 29 2e 0a 0a 5c | 69 74 65 6d 5b 5c 74 74 |te})...\|item[\tt|
|00001430| 2c 20 2c 40 5d 0a 54 68 | 65 20 63 68 61 72 61 63 |, ,@].Th|e charac|
|00001440| 74 65 72 20 63 6f 6d 6d | 61 20 61 6e 64 20 74 68 |ter comm|a and th|
|00001450| 65 20 73 65 71 75 65 6e | 63 65 20 63 6f 6d 6d 61 |e sequen|ce comma|
|00001460| 20 61 74 2d 73 69 67 6e | 20 61 72 65 20 75 73 65 | at-sign| are use|
|00001470| 64 20 69 6e 20 63 6f 6e | 6a 75 6e 63 74 69 6f 6e |d in con|junction|
|00001480| 0a 77 69 74 68 20 62 61 | 63 6b 71 75 6f 74 65 20 |.with ba|ckquote |
|00001490| 28 73 65 63 74 69 6f 6e | 7e 5c 72 65 66 7b 71 75 |(section|~\ref{qu|
|000014a0| 61 73 69 71 75 6f 74 65 | 7d 29 2e 0a 0a 5c 69 74 |asiquote|})...\it|
|000014b0| 65 6d 5b 5c 74 74 22 5d | 0a 54 68 65 20 64 6f 75 |em[\tt"]|.The dou|
|000014c0| 62 6c 65 20 71 75 6f 74 | 65 20 63 68 61 72 61 63 |ble quot|e charac|
|000014d0| 74 65 72 20 69 73 20 75 | 73 65 64 20 74 6f 20 64 |ter is u|sed to d|
|000014e0| 65 6c 69 6d 69 74 20 73 | 74 72 69 6e 67 73 20 28 |elimit s|trings (|
|000014f0| 73 65 63 74 69 6f 6e 7e | 5c 72 65 66 7b 73 74 72 |section~|\ref{str|
|00001500| 69 6e 67 73 65 63 74 69 | 6f 6e 7d 29 2e 0a 0a 5c |ingsecti|on})...\|
|00001510| 69 74 65 6d 5b 5c 62 61 | 63 6b 77 68 61 63 6b 5d |item[\ba|ckwhack]|
|00001520| 0a 42 61 63 6b 73 6c 61 | 73 68 20 69 73 20 75 73 |.Backsla|sh is us|
|00001530| 65 64 20 69 6e 20 74 68 | 65 20 73 79 6e 74 61 78 |ed in th|e syntax|
|00001540| 20 66 6f 72 20 63 68 61 | 72 61 63 74 65 72 20 63 | for cha|racter c|
|00001550| 6f 6e 73 74 61 6e 74 73 | 20 61 6e 64 20 61 73 20 |onstants| and as |
|00001560| 61 6e 20 65 73 63 61 70 | 65 0a 63 68 61 72 61 63 |an escap|e.charac|
|00001570| 74 65 72 20 77 69 74 68 | 69 6e 20 73 74 72 69 6e |ter with|in strin|
|00001580| 67 20 63 6f 6e 73 74 61 | 6e 74 73 20 28 73 65 63 |g consta|nts (sec|
|00001590| 74 69 6f 6e 7e 5c 72 65 | 66 7b 73 74 72 69 6e 67 |tion~\re|f{string|
|000015a0| 73 65 63 74 69 6f 6e 7d | 29 2e 0a 0a 5c 73 65 74 |section}|)...\set|
|000015b0| 62 6f 78 30 5c 68 62 6f | 78 7b 5c 74 74 20 5c 63 |box0\hbo|x{\tt \c|
|000015c0| 68 61 72 22 35 42 7b 7d | 20 5c 63 68 61 72 22 35 |har"5B{}| \char"5|
|000015d0| 44 7b 7d 20 5c 63 68 61 | 72 22 37 42 7b 7d 20 5c |D{} \cha|r"7B{} \|
|000015e0| 63 68 61 72 22 37 44 7d | 0a 5c 69 74 65 6d 5b 5c |char"7D}|.\item[\|
|000015f0| 63 6f 70 79 30 5d 0a 4c | 65 66 74 20 61 6e 64 20 |copy0].L|eft and |
|00001600| 72 69 67 68 74 20 73 71 | 75 61 72 65 20 62 72 61 |right sq|uare bra|
|00001610| 63 6b 65 74 73 20 61 6e | 64 20 63 75 72 6c 79 20 |ckets an|d curly |
|00001620| 62 72 61 63 65 73 0a 61 | 72 65 20 72 65 73 65 72 |braces.a|re reser|
|00001630| 76 65 64 20 66 6f 72 20 | 70 6f 73 73 69 62 6c 65 |ved for |possible|
|00001640| 20 66 75 74 75 72 65 20 | 65 78 74 65 6e 73 69 6f | future |extensio|
|00001650| 6e 73 20 74 6f 20 74 68 | 65 20 6c 61 6e 67 75 61 |ns to th|e langua|
|00001660| 67 65 2e 0a 0a 5c 69 74 | 65 6d 5b 5c 73 68 61 72 |ge...\it|em[\shar|
|00001670| 70 73 69 67 6e 5d 20 53 | 68 61 72 70 20 73 69 67 |psign] S|harp sig|
|00001680| 6e 20 69 73 20 75 73 65 | 64 20 66 6f 72 20 61 20 |n is use|d for a |
|00001690| 76 61 72 69 65 74 79 20 | 6f 66 20 70 75 72 70 6f |variety |of purpo|
|000016a0| 73 65 73 20 64 65 70 65 | 6e 64 69 6e 67 20 6f 6e |ses depe|nding on|
|000016b0| 0a 74 68 65 20 63 68 61 | 72 61 63 74 65 72 20 74 |.the cha|racter t|
|000016c0| 68 61 74 20 69 6d 6d 65 | 64 69 61 74 65 6c 79 20 |hat imme|diately |
|000016d0| 66 6f 6c 6c 6f 77 73 20 | 69 74 3a 0a 0a 5c 69 74 |follows |it:..\it|
|000016e0| 65 6d 5b 5c 73 63 68 74 | 72 75 65 7b 7d 20 5c 73 |em[\scht|rue{} \s|
|000016f0| 63 68 66 61 6c 73 65 7b | 7d 5d 0a 54 68 65 73 65 |chfalse{|}].These|
|00001700| 20 61 72 65 20 74 68 65 | 20 62 6f 6f 6c 65 61 6e | are the| boolean|
|00001710| 20 63 6f 6e 73 74 61 6e | 74 73 20 28 73 65 63 74 | constan|ts (sect|
|00001720| 69 6f 6e 7e 5c 72 65 66 | 7b 62 6f 6f 6c 65 61 6e |ion~\ref|{boolean|
|00001730| 73 65 63 74 69 6f 6e 7d | 29 2e 0a 0a 5c 69 74 65 |section}|)...\ite|
|00001740| 6d 5b 5c 73 68 61 72 70 | 73 69 67 6e 5c 62 61 63 |m[\sharp|sign\bac|
|00001750| 6b 77 68 61 63 6b 5d 0a | 54 68 69 73 20 69 6e 74 |kwhack].|This int|
|00001760| 72 6f 64 75 63 65 73 20 | 61 20 63 68 61 72 61 63 |roduces |a charac|
|00001770| 74 65 72 20 63 6f 6e 73 | 74 61 6e 74 20 28 73 65 |ter cons|tant (se|
|00001780| 63 74 69 6f 6e 7e 5c 72 | 65 66 7b 63 68 61 72 61 |ction~\r|ef{chara|
|00001790| 63 74 65 72 73 65 63 74 | 69 6f 6e 7d 29 2e 0a 0a |ctersect|ion})...|
|000017a0| 5c 69 74 65 6d 5b 5c 73 | 68 61 72 70 73 69 67 6e |\item[\s|harpsign|
|000017b0| 5c 74 74 28 5d 0a 54 68 | 69 73 20 69 6e 74 72 6f |\tt(].Th|is intro|
|000017c0| 64 75 63 65 73 20 61 20 | 76 65 63 74 6f 72 20 63 |duces a |vector c|
|000017d0| 6f 6e 73 74 61 6e 74 20 | 28 73 65 63 74 69 6f 6e |onstant |(section|
|000017e0| 7e 5c 72 65 66 7b 76 65 | 63 74 6f 72 73 65 63 74 |~\ref{ve|ctorsect|
|000017f0| 69 6f 6e 7d 29 2e 20 20 | 56 65 63 74 6f 72 20 63 |ion}).  |Vector c|
|00001800| 6f 6e 73 74 61 6e 74 73 | 0a 61 72 65 20 74 65 72 |onstants|.are ter|
|00001810| 6d 69 6e 61 74 65 64 20 | 62 79 7e 7b 5c 74 74 29 |minated |by~{\tt)|
|00001820| 7d 7e 2e 0a 0a 5c 69 74 | 65 6d 5b 7b 5c 74 74 5c |}~...\it|em[{\tt\|
|00001830| 23 65 20 5c 23 69 20 5c | 23 62 20 5c 23 6f 20 5c |#e \#i \|#b \#o \|
|00001840| 23 64 20 5c 23 78 7d 5d | 0a 54 68 65 73 65 20 61 |#d \#x}]|.These a|
|00001850| 72 65 20 75 73 65 64 20 | 69 6e 20 74 68 65 20 6e |re used |in the n|
|00001860| 6f 74 61 74 69 6f 6e 20 | 66 6f 72 20 6e 75 6d 62 |otation |for numb|
|00001870| 65 72 73 20 28 73 65 63 | 74 69 6f 6e 7e 5c 72 65 |ers (sec|tion~\re|
|00001880| 66 7b 6e 75 6d 62 65 72 | 6e 6f 74 61 74 69 6f 6e |f{number|notation|
|00001890| 73 7d 29 2e 0a 0a 5c 65 | 6e 64 7b 64 65 73 63 72 |s})...\e|nd{descr|
|000018a0| 69 70 74 69 6f 6e 7d 0a |                         |iption}.|        |
+--------+-------------------------+-------------------------+--------+--------+