summaryrefslogtreecommitdiff
path: root/support/lsedit/environment/latex_math.lse
blob: 6628ed9056cdaea9164c743af753e2b2b31a99c7 (plain)
ofshex dumpascii
0000 02 00 21 0c 01 00 21 00 06 00 21 20 4d 61 74 68 01 00 21 00 26 00 64 65 6c 65 74 65 20 74 6f 6b ..!...!...!.Math..!.&.delete.tok
0020 65 6e 20 22 5c 66 72 61 63 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 28 00 64 65 en."\frac"./language.=.latex(.de
0040 66 69 6e 65 20 74 6f 6b 65 6e 20 22 5c 66 72 61 63 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c fine.token."\frac"./language.=.l
0060 61 74 65 78 20 2d 35 00 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 47 65 6e 65 72 61 74 65 20 atex.-5../description="Generate.
0080 61 20 66 72 61 63 74 69 6f 6e 2c 20 6d 61 74 68 20 6d 6f 64 65 20 4f 4e 4c 59 22 20 2d 00 43 00 a.fraction,.math.mode.ONLY".-.C.
00a0 09 2f 74 6f 70 69 63 5f 73 74 72 69 6e 67 3d 22 4c 41 54 45 58 20 43 6f 6d 6d 61 6e 64 73 20 4d ./topic_string="LATEX.Commands.M
00c0 61 74 68 5f 46 6f 72 6d 75 6c 61 73 20 4d 61 74 68 5f 4d 69 73 63 65 6c 6c 61 6e 79 20 5c 66 72 ath_Formulas.Math_Miscellany.\fr
00e0 61 63 22 00 00 00 23 00 22 5c 66 72 61 63 7b 3c 6e 75 6d 65 72 61 74 6f 72 3e 7d 7b 3c 64 65 6e ac"...#."\frac{<numerator>}{<den
0100 6f 6d 69 6e 61 74 6f 72 3e 7d 22 00 0a 00 65 6e 64 20 64 65 66 69 6e 65 00 00 30 00 64 65 6c 65 ominator>}"...end.define..0.dele
0120 74 65 20 70 6c 61 63 65 68 6f 6c 64 65 72 20 22 6e 75 6d 65 72 61 74 6f 72 22 20 2f 6c 61 6e 67 te.placeholder."numerator"./lang
0140 75 61 67 65 20 3d 20 6c 61 74 65 78 32 00 64 65 66 69 6e 65 20 70 6c 61 63 65 68 6f 6c 64 65 72 uage.=.latex2.define.placeholder
0160 20 22 6e 75 6d 65 72 61 74 6f 72 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 20 2d ."numerator"./language.=.latex.-
0180 14 00 09 2f 70 6c 61 63 65 68 6f 6c 64 65 72 3d 6e 75 6d 62 65 72 00 00 32 00 64 65 6c 65 74 65 .../placeholder=number..2.delete
01a0 20 70 6c 61 63 65 68 6f 6c 64 65 72 20 22 64 65 6e 6f 6d 69 6e 61 74 6f 72 22 20 2f 6c 61 6e 67 .placeholder."denominator"./lang
01c0 75 61 67 65 20 3d 20 6c 61 74 65 78 34 00 64 65 66 69 6e 65 20 70 6c 61 63 65 68 6f 6c 64 65 72 uage.=.latex4.define.placeholder
01e0 20 22 64 65 6e 6f 6d 69 6e 61 74 6f 72 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 ."denominator"./language.=.latex
0200 20 2d 14 00 09 2f 70 6c 61 63 65 68 6f 6c 64 65 72 3d 6e 75 6d 62 65 72 00 00 26 00 64 65 6c 65 .-.../placeholder=number..&.dele
0220 74 65 20 74 6f 6b 65 6e 20 22 5c 73 71 72 74 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 te.token."\sqrt"./language.=.lat
0240 65 78 28 00 64 65 66 69 6e 65 20 74 6f 6b 65 6e 20 22 5c 73 71 72 74 22 20 2f 6c 61 6e 67 75 61 ex(.define.token."\sqrt"./langua
0260 67 65 20 3d 20 6c 61 74 65 78 20 2d 47 00 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 47 65 6e ge.=.latex.-G../description="Gen
0280 65 72 61 74 65 20 74 68 65 20 6e 74 68 20 72 6f 6f 74 20 6f 66 20 74 68 65 20 61 72 67 75 6d 65 erate.the.nth.root.of.the.argume
02a0 6e 74 2c 20 6d 61 74 68 20 6d 6f 64 65 20 4f 4e 4c 59 22 20 2d 00 44 00 09 2f 74 6f 70 69 63 5f nt,.math.mode.ONLY".-.D../topic_
02c0 73 74 72 69 6e 67 3d 22 4c 41 54 45 58 20 43 6f 6d 6d 61 6e 64 73 20 4d 61 74 68 5f 46 6f 72 6d string="LATEX.Commands.Math_Form
02e0 75 6c 61 73 20 4d 61 74 68 5f 4d 69 73 63 65 6c 6c 61 6e 79 20 5c 73 71 72 74 22 20 00 00 1d 00 ulas.Math_Miscellany.\sqrt".....
0300 22 5c 73 71 72 74 3c 3c 6e 74 68 5f 72 6f 6f 74 3e 3e 7b 3c 6e 75 6d 62 65 72 3e 7d 22 00 0a 00 "\sqrt<<nth_root>>{<number>}"...
0320 65 6e 64 20 64 65 66 69 6e 65 00 00 2f 00 64 65 6c 65 74 65 20 70 6c 61 63 65 68 6f 6c 64 65 72 end.define../.delete.placeholder
0340 20 22 6e 74 68 5f 72 6f 6f 74 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 00 31 00 ."nth_root"./language.=.latex.1.
0360 64 65 66 69 6e 65 20 70 6c 61 63 65 68 6f 6c 64 65 72 20 22 6e 74 68 5f 72 6f 6f 74 22 20 2f 6c define.placeholder."nth_root"./l
0380 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 20 2d 00 1a 00 09 2f 64 65 73 63 72 69 70 74 69 6f anguage.=.latex.-..../descriptio
03a0 6e 3d 22 4e 74 68 20 72 6f 6f 74 22 20 2d 45 00 09 2f 74 6f 70 69 63 5f 73 74 72 69 6e 67 3d 22 n="Nth.root".-E../topic_string="
03c0 4c 41 54 45 58 20 43 6f 6d 6d 61 6e 64 73 20 4d 61 74 68 5f 46 6f 72 6d 75 6c 61 73 20 4d 61 74 LATEX.Commands.Math_Formulas.Mat
03e0 68 5f 4d 69 73 63 65 6c 6c 61 6e 79 20 5c 73 71 72 74 22 20 2d 00 10 00 09 2f 74 79 70 65 3d 74 h_Miscellany.\sqrt".-..../type=t
0400 65 72 6d 69 6e 61 6c 20 00 00 1a 00 22 45 6e 74 65 72 20 74 68 65 20 72 6f 6f 74 20 79 6f 75 20 erminal....."Enter.the.root.you.
0420 77 69 73 68 2e 22 0a 00 65 6e 64 20 64 65 66 69 6e 65 00 00 27 00 64 65 6c 65 74 65 20 74 6f 6b wish."..end.define..'.delete.tok
0440 65 6e 20 22 5c 6c 64 6f 74 73 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 00 29 00 en."\ldots"./language.=.latex.).
0460 64 65 66 69 6e 65 20 74 6f 6b 65 6e 20 22 5c 6c 64 6f 74 73 22 20 2f 6c 61 6e 67 75 61 67 65 20 define.token."\ldots"./language.
0480 3d 20 6c 61 74 65 78 20 2d 00 35 00 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 48 6f 72 69 7a =.latex.-.5../description="Horiz
04a0 6f 6e 74 61 6c 20 65 6c 6c 69 70 73 69 73 2c 20 62 6f 74 74 6f 6d 20 6f 66 20 6c 69 6e 65 22 20 ontal.ellipsis,.bottom.of.line".
04c0 2d 00 47 00 09 2f 74 6f 70 69 63 5f 73 74 72 69 6e 67 20 3d 20 22 4c 41 54 45 58 20 43 6f 6d 6d -.G../topic_string.=."LATEX.Comm
04e0 61 6e 64 73 20 4d 61 74 68 5f 46 6f 72 6d 75 6c 61 73 20 4d 61 74 68 5f 4d 69 73 63 65 6c 6c 61 ands.Math_Formulas.Math_Miscella
0500 6e 79 20 5c 6c 64 6f 74 73 22 20 00 00 00 09 00 22 5c 6c 64 6f 74 73 20 22 00 0a 00 65 6e 64 20 ny.\ldots"......"\ldots."...end.
0520 64 65 66 69 6e 65 00 00 27 00 64 65 6c 65 74 65 20 74 6f 6b 65 6e 20 22 5c 63 64 6f 74 73 22 20 define..'.delete.token."\cdots".
0540 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 00 29 00 64 65 66 69 6e 65 20 74 6f 6b 65 6e /language.=.latex.).define.token
0560 20 22 5c 63 64 6f 74 73 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 20 2d 00 47 00 ."\cdots"./language.=.latex.-.G.
0580 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 48 6f 72 69 7a 6f 6e 74 61 6c 20 20 65 6c 6c 69 70 ./description="Horizontal..ellip
05a0 73 69 73 2c 20 20 63 65 6e 74 65 72 20 6f 66 20 6c 69 6e 65 2c 20 6d 61 74 68 20 6d 6f 64 65 20 sis,..center.of.line,.math.mode.
05c0 4f 4e 4c 59 22 20 2d 00 47 00 09 2f 74 6f 70 69 63 5f 73 74 72 69 6e 67 20 3d 20 22 4c 41 54 45 ONLY".-.G../topic_string.=."LATE
05e0 58 20 43 6f 6d 6d 61 6e 64 73 20 4d 61 74 68 5f 46 6f 72 6d 75 6c 61 73 20 4d 61 74 68 5f 4d 69 X.Commands.Math_Formulas.Math_Mi
0600 73 63 65 6c 6c 61 6e 79 20 5c 63 64 6f 74 73 22 20 00 00 00 09 00 22 5c 63 64 6f 74 73 20 22 00 scellany.\cdots"......"\cdots.".
0620 0a 00 65 6e 64 20 64 65 66 69 6e 65 00 00 27 00 64 65 6c 65 74 65 20 74 6f 6b 65 6e 20 22 5c 76 ..end.define..'.delete.token."\v
0640 64 6f 74 73 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 00 29 00 64 65 66 69 6e 65 dots"./language.=.latex.).define
0660 20 74 6f 6b 65 6e 20 22 5c 76 64 6f 74 73 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 .token."\vdots"./language.=.late
0680 78 20 2d 00 33 00 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 56 65 72 74 69 63 61 6c 20 65 6c x.-.3../description="Vertical.el
06a0 6c 69 70 73 69 73 2c 20 6d 61 74 68 20 6d 6f 64 65 20 4f 4e 4c 59 22 20 2d 00 47 00 09 2f 74 6f lipsis,.math.mode.ONLY".-.G../to
06c0 70 69 63 5f 73 74 72 69 6e 67 20 3d 20 22 4c 41 54 45 58 20 43 6f 6d 6d 61 6e 64 73 20 4d 61 74 pic_string.=."LATEX.Commands.Mat
06e0 68 5f 46 6f 72 6d 75 6c 61 73 20 4d 61 74 68 5f 4d 69 73 63 65 6c 6c 61 6e 79 20 5c 76 64 6f 74 h_Formulas.Math_Miscellany.\vdot
0700 73 22 20 00 00 00 09 00 22 5c 76 64 6f 74 73 20 22 00 0a 00 65 6e 64 20 64 65 66 69 6e 65 00 00 s"......"\vdots."...end.define..
0720 27 00 64 65 6c 65 74 65 20 74 6f 6b 65 6e 20 22 5c 64 64 6f 74 73 22 20 2f 6c 61 6e 67 75 61 67 '.delete.token."\ddots"./languag
0740 65 20 3d 20 6c 61 74 65 78 00 29 00 64 65 66 69 6e 65 20 74 6f 6b 65 6e 20 22 5c 64 64 6f 74 73 e.=.latex.).define.token."\ddots
0760 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 20 2d 00 33 00 09 2f 64 65 73 63 72 69 "./language.=.latex.-.3../descri
0780 70 74 69 6f 6e 3d 22 44 69 61 67 6f 6e 61 6c 20 65 6c 6c 69 70 73 69 73 2c 20 6d 61 74 68 20 6d ption="Diagonal.ellipsis,.math.m
07a0 6f 64 65 20 4f 4e 4c 59 22 20 2d 00 47 00 09 2f 74 6f 70 69 63 5f 73 74 72 69 6e 67 20 3d 20 22 ode.ONLY".-.G../topic_string.=."
07c0 4c 41 54 45 58 20 43 6f 6d 6d 61 6e 64 73 20 4d 61 74 68 5f 46 6f 72 6d 75 6c 61 73 20 4d 61 74 LATEX.Commands.Math_Formulas.Mat
07e0 68 5f 4d 69 73 63 65 6c 6c 61 6e 79 20 5c 64 64 6f 74 73 22 20 00 00 00 09 00 22 5c 64 64 6f 74 h_Miscellany.\ddots"......"\ddot
0800 73 20 22 00 0a 00 65 6e 64 20 64 65 66 69 6e 65 00 00 2a 00 64 65 6c 65 74 65 20 74 6f 6b 65 6e s."...end.define..*.delete.token
0820 20 22 5c 6f 76 65 72 6c 69 6e 65 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 2c 00 ."\overline"./language.=.latex,.
0840 64 65 66 69 6e 65 20 74 6f 6b 65 6e 20 22 5c 6f 76 65 72 6c 69 6e 65 22 20 2f 6c 61 6e 67 75 61 define.token."\overline"./langua
0860 67 65 20 3d 20 6c 61 74 65 78 20 2d 45 00 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 47 65 6e ge.=.latex.-E../description="Gen
0880 65 72 61 74 65 20 66 6f 72 6d 75 6c 61 20 77 69 74 68 20 6c 69 6e 65 20 61 62 6f 76 65 20 69 74 erate.formula.with.line.above.it
08a0 2c 20 6d 61 74 68 20 6d 6f 64 65 20 4f 4e 4c 59 22 20 2d 00 4a 00 09 2f 74 6f 70 69 63 5f 73 74 ,.math.mode.ONLY".-.J../topic_st
08c0 72 69 6e 67 20 3d 20 22 4c 41 54 45 58 20 43 6f 6d 6d 61 6e 64 73 20 4d 61 74 68 5f 46 6f 72 6d ring.=."LATEX.Commands.Math_Form
08e0 75 6c 61 73 20 4d 61 74 68 5f 4d 69 73 63 65 6c 6c 61 6e 79 20 5c 6f 76 65 72 6c 69 6e 65 22 20 ulas.Math_Miscellany.\overline".
0900 00 00 16 00 22 5c 6f 76 65 72 6c 69 6e 65 7b 3c 66 6f 72 6d 75 6c 61 3e 7d 22 0a 00 65 6e 64 20 ...."\overline{<formula>}"..end.
0920 64 65 66 69 6e 65 00 00 2b 00 64 65 6c 65 74 65 20 74 6f 6b 65 6e 20 22 5c 75 6e 64 65 72 6c 69 define..+.delete.token."\underli
0940 6e 65 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 00 2d 00 64 65 66 69 6e 65 20 74 ne"./language.=.latex.-.define.t
0960 6f 6b 65 6e 20 22 5c 75 6e 64 65 72 6c 69 6e 65 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 oken."\underline"./language.=.la
0980 74 65 78 20 2d 00 2d 00 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 55 6e 64 65 72 6c 69 6e 65 tex.-.-../description="Underline
09a0 20 61 20 66 6f 72 6d 75 6c 61 20 6f 72 20 74 65 78 74 22 20 2d 00 4b 00 09 2f 74 6f 70 69 63 5f .a.formula.or.text".-.K../topic_
09c0 73 74 72 69 6e 67 20 3d 20 22 4c 41 54 45 58 20 43 6f 6d 6d 61 6e 64 73 20 4d 61 74 68 5f 46 6f string.=."LATEX.Commands.Math_Fo
09e0 72 6d 75 6c 61 73 20 4d 61 74 68 5f 4d 69 73 63 65 6c 6c 61 6e 79 20 5c 75 6e 64 65 72 6c 69 6e rmulas.Math_Miscellany.\underlin
0a00 65 22 20 00 00 00 17 00 22 5c 75 6e 64 65 72 6c 69 6e 65 7b 3c 66 6f 72 6d 75 6c 61 3e 7d 22 00 e"......"\underline{<formula>}".
0a20 0a 00 65 6e 64 20 64 65 66 69 6e 65 00 00 2b 00 64 65 6c 65 74 65 20 74 6f 6b 65 6e 20 22 5c 6f ..end.define..+.delete.token."\o
0a40 76 65 72 62 72 61 63 65 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 00 2d 00 64 65 verbrace"./language.=.latex.-.de
0a60 66 69 6e 65 20 74 6f 6b 65 6e 20 22 5c 6f 76 65 72 62 72 61 63 65 22 20 2f 6c 61 6e 67 75 61 67 fine.token."\overbrace"./languag
0a80 65 20 3d 20 6c 61 74 65 78 20 2d 00 46 00 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 47 65 6e e.=.latex.-.F../description="Gen
0aa0 65 72 61 74 65 20 66 6f 72 6d 75 6c 61 20 77 69 74 68 20 62 72 61 63 65 20 61 62 6f 76 65 20 69 erate.formula.with.brace.above.i
0ac0 74 2c 20 6d 61 74 68 20 6d 6f 64 65 20 4f 4e 4c 59 22 20 2d 4b 00 09 2f 74 6f 70 69 63 5f 73 74 t,.math.mode.ONLY".-K../topic_st
0ae0 72 69 6e 67 20 3d 20 22 4c 41 54 45 58 20 43 6f 6d 6d 61 6e 64 73 20 4d 61 74 68 5f 46 6f 72 6d ring.=."LATEX.Commands.Math_Form
0b00 75 6c 61 73 20 4d 61 74 68 5f 4d 69 73 63 65 6c 6c 61 6e 79 20 5c 6f 76 65 72 62 72 61 63 65 22 ulas.Math_Miscellany.\overbrace"
0b20 20 00 00 00 17 00 22 5c 6f 76 65 72 62 72 61 63 65 7b 3c 66 6f 72 6d 75 6c 61 3e 7d 22 00 0a 00 ......"\overbrace{<formula>}"...
0b40 65 6e 64 20 64 65 66 69 6e 65 00 00 2c 00 64 65 6c 65 74 65 20 74 6f 6b 65 6e 20 22 5c 75 6e 64 end.define..,.delete.token."\und
0b60 65 72 62 72 61 63 65 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 2e 00 64 65 66 69 erbrace"./language.=.latex..defi
0b80 6e 65 20 74 6f 6b 65 6e 20 22 5c 75 6e 64 65 72 62 72 61 63 65 22 20 2f 6c 61 6e 67 75 61 67 65 ne.token."\underbrace"./language
0ba0 20 3d 20 6c 61 74 65 78 20 2d 2e 00 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 55 6e 64 65 72 .=.latex.-.../description="Under
0bc0 62 72 61 63 65 20 61 20 66 6f 72 6d 75 6c 61 20 6f 72 20 74 65 78 74 22 20 2d 4c 00 09 2f 74 6f brace.a.formula.or.text".-L../to
0be0 70 69 63 5f 73 74 72 69 6e 67 20 3d 20 22 4c 41 54 45 58 20 43 6f 6d 6d 61 6e 64 73 20 4d 61 74 pic_string.=."LATEX.Commands.Mat
0c00 68 5f 46 6f 72 6d 75 6c 61 73 20 4d 61 74 68 5f 4d 69 73 63 65 6c 6c 61 6e 79 20 5c 75 6e 64 65 h_Formulas.Math_Miscellany.\unde
0c20 72 62 72 61 63 65 22 20 00 00 18 00 22 5c 75 6e 64 65 72 62 72 61 63 65 7b 3c 66 6f 72 6d 75 6c rbrace"....."\underbrace{<formul
0c40 61 3e 7d 22 0a 00 65 6e 64 20 64 65 66 69 6e 65 00 00 2e 00 64 65 6c 65 74 65 20 70 6c 61 63 65 a>}"..end.define....delete.place
0c60 68 6f 6c 64 65 72 20 22 66 6f 72 6d 75 6c 61 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 holder."formula"./language.=.lat
0c80 65 78 30 00 64 65 66 69 6e 65 20 70 6c 61 63 65 68 6f 6c 64 65 72 20 22 66 6f 72 6d 75 6c 61 22 ex0.define.placeholder."formula"
0ca0 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 20 2d 1e 00 09 2f 64 65 73 63 72 69 70 74 ./language.=.latex.-.../descript
0cc0 69 6f 6e 3d 22 4d 61 74 68 20 66 6f 72 6d 75 6c 61 22 20 2d 10 00 09 2f 74 79 70 65 3d 74 65 72 ion="Math.formula".-.../type=ter
0ce0 6d 69 6e 61 6c 20 00 00 1a 00 22 45 6e 74 65 72 20 79 6f 75 72 20 66 6f 72 6d 75 6c 61 20 68 65 minal....."Enter.your.formula.he
0d00 72 65 2e 22 0a 00 65 6e 64 20 64 65 66 69 6e 65 00 00 02 00 21 0c 01 00 21 00 07 00 21 20 4d 61 re."..end.define....!...!...!.Ma
0d20 74 68 20 00 01 00 21 00 30 00 64 65 6c 65 74 65 20 70 6c 61 63 65 68 6f 6c 64 65 72 20 22 6d 61 th....!.0.delete.placeholder."ma
0d40 74 68 5f 6d 69 73 63 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 32 00 64 65 66 69 th_misc"./language.=.latex2.defi
0d60 6e 65 20 70 6c 61 63 65 68 6f 6c 64 65 72 20 22 6d 61 74 68 5f 6d 69 73 63 22 20 2f 6c 61 6e 67 ne.placeholder."math_misc"./lang
0d80 75 61 67 65 20 3d 20 6c 61 74 65 78 20 2d 29 00 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 4d uage.=.latex.-)../description="M
0da0 61 74 68 20 6d 6f 64 65 20 6d 69 73 63 65 6c 6c 61 6e 65 6f 75 73 22 20 2d 00 0c 00 09 2f 74 79 ath.mode.miscellaneous".-..../ty
0dc0 70 65 3d 6d 65 6e 75 20 00 00 1d 00 22 47 72 65 65 6b 5f 6c 65 74 74 65 72 73 22 09 09 2f 70 6c pe=menu....."Greek_letters"../pl
0de0 61 63 65 68 6f 6c 64 65 72 00 1a 00 22 62 69 6e 61 72 79 5f 6f 70 73 22 09 09 2f 70 6c 61 63 65 aceholder..."binary_ops"../place
0e00 68 6f 6c 64 65 72 1f 00 22 72 65 6c 61 74 69 6f 6e 5f 73 79 6d 62 6f 6c 73 22 09 2f 70 6c 61 63 holder.."relation_symbols"./plac
0e20 65 68 6f 6c 64 65 72 00 1d 00 22 61 72 72 6f 77 5f 73 79 6d 62 6f 6c 73 22 09 09 2f 70 6c 61 63 eholder..."arrow_symbols"../plac
0e40 65 68 6f 6c 64 65 72 00 1c 00 22 6d 69 73 63 5f 73 79 6d 62 6f 6c 73 22 09 09 2f 70 6c 61 63 65 eholder..."misc_symbols"../place
0e60 68 6f 6c 64 65 72 1e 00 22 76 61 72 73 69 7a 65 5f 73 79 6d 62 6f 6c 73 22 09 2f 70 6c 61 63 65 holder.."varsize_symbols"./place
0e80 68 6f 6c 64 65 72 20 00 22 6c 6f 67 6c 69 6b 65 5f 66 75 6e 63 74 69 6f 6e 73 22 09 2f 70 6c 61 holder.."loglike_functions"./pla
0ea0 63 65 68 6f 6c 64 65 72 0a 00 65 6e 64 20 64 65 66 69 6e 65 00 00 2a 00 64 65 6c 65 74 65 20 74 ceholder..end.define..*.delete.t
0ec0 6f 6b 65 6e 20 22 6d 61 74 68 5f 6d 69 73 63 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 oken."math_misc"./language.=.lat
0ee0 65 78 2c 00 64 65 66 69 6e 65 20 74 6f 6b 65 6e 20 22 6d 61 74 68 5f 6d 69 73 63 22 20 2f 6c 61 ex,.define.token."math_misc"./la
0f00 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 20 2d 18 00 09 2f 70 6c 61 63 65 68 6f 6c 64 65 72 3d nguage.=.latex.-.../placeholder=
0f20 6d 61 74 68 5f 6d 69 73 63 20 00 00 34 00 64 65 6c 65 74 65 20 70 6c 61 63 65 68 6f 6c 64 65 72 math_misc...4.delete.placeholder
0f40 20 22 47 72 65 65 6b 5f 6c 65 74 74 65 72 73 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 ."Greek_letters"./language.=.lat
0f60 65 78 36 00 64 65 66 69 6e 65 20 70 6c 61 63 65 68 6f 6c 64 65 72 20 22 47 72 65 65 6b 5f 6c 65 ex6.define.placeholder."Greek_le
0f80 74 74 65 72 73 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 20 2d 37 00 09 2f 64 65 tters"./language.=.latex.-7../de
0fa0 73 63 72 69 70 74 69 6f 6e 3d 22 47 72 65 65 6b 20 6c 65 74 74 65 72 20 63 6f 6d 6d 61 6e 64 73 scription="Greek.letter.commands
0fc0 2c 20 6d 61 74 68 20 6d 6f 64 65 20 4f 4e 4c 59 22 20 2d 00 0d 00 09 2f 74 79 70 65 3d 6d 65 6e ,.math.mode.ONLY".-..../type=men
0fe0 75 20 2d 00 00 00 0f 00 22 5c 61 6c 70 68 61 22 09 2f 74 6f 6b 65 6e 00 0f 00 22 5c 62 65 74 61 u.-....."\alpha"./token..."\beta
1000 22 09 09 2f 74 6f 6b 65 6e 00 11 00 22 5c 67 61 6d 6d 61 5f 6c 22 09 2f 74 6f 6b 65 6e 00 11 00 "../token..."\gamma_l"./token...
1020 22 5c 47 61 6d 6d 61 5f 75 22 09 2f 74 6f 6b 65 6e 00 11 00 22 5c 64 65 6c 74 61 5f 6c 22 09 2f "\Gamma_u"./token..."\delta_l"./
1040 74 6f 6b 65 6e 00 11 00 22 5c 44 65 6c 74 61 5f 75 22 09 2f 74 6f 6b 65 6e 00 11 00 22 5c 65 70 token..."\Delta_u"./token..."\ep
1060 73 69 6c 6f 6e 22 09 2f 74 6f 6b 65 6e 00 14 00 22 5c 76 61 72 65 70 73 69 6c 6f 6e 22 09 2f 74 silon"./token..."\varepsilon"./t
1080 6f 6b 65 6e 0f 00 22 5c 7a 65 74 61 22 09 09 2f 74 6f 6b 65 6e 00 0e 00 22 5c 65 74 61 22 09 09 oken.."\zeta"../token..."\eta"..
10a0 2f 74 6f 6b 65 6e 11 00 22 5c 74 68 65 74 61 5f 6c 22 09 2f 74 6f 6b 65 6e 00 11 00 22 5c 54 68 /token.."\theta_l"./token..."\Th
10c0 65 74 61 5f 75 22 09 2f 74 6f 6b 65 6e 00 12 00 22 5c 76 61 72 74 68 65 74 61 22 09 2f 74 6f 6b eta_u"./token..."\vartheta"./tok
10e0 65 6e 0f 00 22 5c 69 6f 74 61 22 09 09 2f 74 6f 6b 65 6e 00 0f 00 22 5c 6b 61 70 70 61 22 09 2f en.."\iota"../token..."\kappa"./
1100 74 6f 6b 65 6e 00 12 00 22 5c 6c 61 6d 62 64 61 5f 6c 22 09 2f 74 6f 6b 65 6e 12 00 22 5c 4c 61 token..."\lambda_l"./token.."\La
1120 6d 62 64 61 5f 75 22 09 2f 74 6f 6b 65 6e 0d 00 22 5c 6d 75 22 09 09 2f 74 6f 6b 65 6e 00 0d 00 mbda_u"./token.."\mu"../token...
1140 22 5c 6e 75 22 09 09 2f 74 6f 6b 65 6e 00 0f 00 22 5c 78 69 5f 6c 22 09 09 2f 74 6f 6b 65 6e 00 "\nu"../token..."\xi_l"../token.
1160 0f 00 22 5c 58 69 5f 75 22 09 09 2f 74 6f 6b 65 6e 00 0f 00 22 5c 70 69 5f 6c 22 09 09 2f 74 6f .."\Xi_u"../token..."\pi_l"../to
1180 6b 65 6e 00 0f 00 22 5c 50 69 5f 75 22 09 09 2f 74 6f 6b 65 6e 00 0f 00 22 5c 76 61 72 70 69 22 ken..."\Pi_u"../token..."\varpi"
11a0 09 2f 74 6f 6b 65 6e 00 0e 00 22 5c 72 68 6f 22 09 09 2f 74 6f 6b 65 6e 10 00 22 5c 76 61 72 72 ./token..."\rho"../token.."\varr
11c0 68 6f 22 09 2f 74 6f 6b 65 6e 11 00 22 5c 73 69 67 6d 61 5f 6c 22 09 2f 74 6f 6b 65 6e 00 11 00 ho"./token.."\sigma_l"./token...
11e0 22 5c 53 69 67 6d 61 5f 75 22 09 2f 74 6f 6b 65 6e 00 12 00 22 5c 76 61 72 73 69 67 6d 61 22 09 "\Sigma_u"./token..."\varsigma".
1200 2f 74 6f 6b 65 6e 0e 00 22 5c 74 61 75 22 09 09 2f 74 6f 6b 65 6e 13 00 22 5c 75 70 73 69 6c 6f /token.."\tau"../token.."\upsilo
1220 6e 5f 6c 22 09 2f 74 6f 6b 65 6e 00 13 00 22 5c 55 70 73 69 6c 6f 6e 5f 75 22 09 2f 74 6f 6b 65 n_l"./token..."\Upsilon_u"./toke
1240 6e 00 0f 00 22 5c 70 68 69 5f 6c 22 09 2f 74 6f 6b 65 6e 00 0f 00 22 5c 50 68 69 5f 75 22 09 2f n..."\phi_l"./token..."\Phi_u"./
1260 74 6f 6b 65 6e 00 10 00 22 5c 76 61 72 70 68 69 22 09 2f 74 6f 6b 65 6e 0e 00 22 5c 63 68 69 22 token..."\varphi"./token.."\chi"
1280 09 09 2f 74 6f 6b 65 6e 0f 00 22 5c 70 73 69 5f 6c 22 09 2f 74 6f 6b 65 6e 00 0f 00 22 5c 50 73 ../token.."\psi_l"./token..."\Ps
12a0 69 5f 75 22 09 2f 74 6f 6b 65 6e 00 11 00 22 5c 6f 6d 65 67 61 5f 6c 22 09 2f 74 6f 6b 65 6e 00 i_u"./token..."\omega_l"./token.
12c0 11 00 22 5c 4f 6d 65 67 61 5f 75 22 09 2f 74 6f 6b 65 6e 00 0a 00 65 6e 64 20 64 65 66 69 6e 65 .."\Omega_u"./token...end.define
12e0 00 00 2e 00 64 65 6c 65 74 65 20 74 6f 6b 65 6e 20 22 67 72 65 65 6b 5f 6c 65 74 74 65 72 73 22 ....delete.token."greek_letters"
1300 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 30 00 64 65 66 69 6e 65 20 74 6f 6b 65 6e ./language.=.latex0.define.token
1320 20 22 67 72 65 65 6b 5f 6c 65 74 74 65 72 73 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 ."greek_letters"./language.=.lat
1340 65 78 20 2d 1d 00 09 2f 70 6c 61 63 65 68 6f 6c 64 65 72 20 3d 20 67 72 65 65 6b 5f 6c 65 74 74 ex.-.../placeholder.=.greek_lett
1360 65 72 73 00 00 00 27 00 64 65 6c 65 74 65 20 74 6f 6b 65 6e 20 22 5c 61 6c 70 68 61 22 20 2f 6c ers...'.delete.token."\alpha"./l
1380 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 00 29 00 64 65 66 69 6e 65 20 74 6f 6b 65 6e 20 22 anguage.=.latex.).define.token."
13a0 5c 61 6c 70 68 61 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 20 2d 00 2d 00 09 2f \alpha"./language.=.latex.-.-../
13c0 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 47 72 65 65 6b 20 6c 65 74 74 65 72 20 61 6c 70 68 61 2c description="Greek.letter.alpha,
13e0 20 6c 6f 77 65 72 63 61 73 65 22 00 00 00 09 00 22 5c 61 6c 70 68 61 20 22 00 0a 00 65 6e 64 20 .lowercase"....."\alpha."...end.
1400 64 65 66 69 6e 65 00 00 26 00 64 65 6c 65 74 65 20 74 6f 6b 65 6e 20 22 5c 62 65 74 61 22 20 2f define..&.delete.token."\beta"./
1420 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 28 00 64 65 66 69 6e 65 20 74 6f 6b 65 6e 20 22 language.=.latex(.define.token."
1440 5c 62 65 74 61 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 20 2d 2c 00 09 2f 64 65 \beta"./language.=.latex.-,../de
1460 73 63 72 69 70 74 69 6f 6e 3d 22 47 72 65 65 6b 20 6c 65 74 74 65 72 20 62 65 74 61 2c 20 6c 6f scription="Greek.letter.beta,.lo
1480 77 65 72 63 61 73 65 22 00 00 08 00 22 5c 62 65 74 61 20 22 0a 00 65 6e 64 20 64 65 66 69 6e 65 wercase"...."\beta."..end.define
14a0 00 00 29 00 64 65 6c 65 74 65 20 74 6f 6b 65 6e 20 22 5c 67 61 6d 6d 61 5f 6c 22 20 2f 6c 61 6e ..).delete.token."\gamma_l"./lan
14c0 67 75 61 67 65 20 3d 20 6c 61 74 65 78 00 2b 00 64 65 66 69 6e 65 20 74 6f 6b 65 6e 20 22 5c 67 guage.=.latex.+.define.token."\g
14e0 61 6d 6d 61 5f 6c 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 20 2d 00 2d 00 09 2f amma_l"./language.=.latex.-.-../
1500 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 47 72 65 65 6b 20 6c 65 74 74 65 72 20 67 61 6d 6d 61 2c description="Greek.letter.gamma,
1520 20 6c 6f 77 65 72 63 61 73 65 22 00 00 00 09 00 22 5c 67 61 6d 6d 61 20 22 00 0a 00 65 6e 64 20 .lowercase"....."\gamma."...end.
1540 64 65 66 69 6e 65 00 00 29 00 64 65 6c 65 74 65 20 74 6f 6b 65 6e 20 22 5c 47 61 6d 6d 61 5f 75 define..).delete.token."\Gamma_u
1560 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 00 2b 00 64 65 66 69 6e 65 20 74 6f 6b "./language.=.latex.+.define.tok
1580 65 6e 20 22 5c 47 61 6d 6d 61 5f 75 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 20 en."\Gamma_u"./language.=.latex.
15a0 2d 00 2d 00 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 47 72 65 65 6b 20 6c 65 74 74 65 72 20 -.-../description="Greek.letter.
15c0 67 61 6d 6d 61 2c 20 75 70 70 65 72 63 61 73 65 22 00 00 00 09 00 22 5c 47 61 6d 6d 61 20 22 00 gamma,.uppercase"....."\Gamma.".
15e0 0a 00 65 6e 64 20 64 65 66 69 6e 65 00 00 29 00 64 65 6c 65 74 65 20 74 6f 6b 65 6e 20 22 5c 64 ..end.define..).delete.token."\d
1600 65 6c 74 61 5f 6c 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 00 2b 00 64 65 66 69 elta_l"./language.=.latex.+.defi
1620 6e 65 20 74 6f 6b 65 6e 20 22 5c 64 65 6c 74 61 5f 6c 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 ne.token."\delta_l"./language.=.
1640 6c 61 74 65 78 20 2d 00 2d 00 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 47 72 65 65 6b 20 6c latex.-.-../description="Greek.l
1660 65 74 74 65 72 20 64 65 6c 74 61 2c 20 6c 6f 77 65 72 63 61 73 65 22 00 00 00 09 00 22 5c 64 65 etter.delta,.lowercase"....."\de
1680 6c 74 61 20 22 00 0a 00 65 6e 64 20 64 65 66 69 6e 65 00 00 29 00 64 65 6c 65 74 65 20 74 6f 6b lta."...end.define..).delete.tok
16a0 65 6e 20 22 5c 44 65 6c 74 61 5f 75 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 00 en."\Delta_u"./language.=.latex.
16c0 2b 00 64 65 66 69 6e 65 20 74 6f 6b 65 6e 20 22 5c 44 65 6c 74 61 5f 75 22 20 2f 6c 61 6e 67 75 +.define.token."\Delta_u"./langu
16e0 61 67 65 20 3d 20 6c 61 74 65 78 20 2d 00 2d 00 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 47 age.=.latex.-.-../description="G
1700 72 65 65 6b 20 6c 65 74 74 65 72 20 64 65 6c 74 61 2c 20 75 70 70 65 72 63 61 73 65 22 00 00 00 reek.letter.delta,.uppercase"...
1720 09 00 22 5c 44 65 6c 74 61 20 22 00 0a 00 65 6e 64 20 64 65 66 69 6e 65 00 00 29 00 64 65 6c 65 .."\Delta."...end.define..).dele
1740 74 65 20 74 6f 6b 65 6e 20 22 5c 65 70 73 69 6c 6f 6e 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 te.token."\epsilon"./language.=.
1760 6c 61 74 65 78 00 2b 00 64 65 66 69 6e 65 20 74 6f 6b 65 6e 20 22 5c 65 70 73 69 6c 6f 6e 22 20 latex.+.define.token."\epsilon".
1780 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 20 2d 00 2f 00 09 2f 64 65 73 63 72 69 70 74 /language.=.latex.-./../descript
17a0 69 6f 6e 3d 22 47 72 65 65 6b 20 6c 65 74 74 65 72 20 65 70 73 69 6c 6f 6e 2c 20 6c 6f 77 65 72 ion="Greek.letter.epsilon,.lower
17c0 63 61 73 65 22 00 00 00 0b 00 22 5c 65 70 73 69 6c 6f 6e 20 22 00 0a 00 65 6e 64 20 64 65 66 69 case"....."\epsilon."...end.defi
17e0 6e 65 00 00 2c 00 64 65 6c 65 74 65 20 74 6f 6b 65 6e 20 22 5c 76 61 72 65 70 73 69 6c 6f 6e 22 ne..,.delete.token."\varepsilon"
1800 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 2e 00 64 65 66 69 6e 65 20 74 6f 6b 65 6e ./language.=.latex..define.token
1820 20 22 5c 76 61 72 65 70 73 69 6c 6f 6e 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 ."\varepsilon"./language.=.latex
1840 20 2d 37 00 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 47 72 65 65 6b 20 6c 65 74 74 65 72 20 .-7../description="Greek.letter.
1860 65 70 73 69 6c 6f 6e 2c 20 76 61 72 69 61 6e 74 20 6c 6f 77 65 72 63 61 73 65 22 00 00 00 0e 00 epsilon,.variant.lowercase".....
1880 22 5c 76 61 72 65 70 73 69 6c 6f 6e 20 22 0a 00 65 6e 64 20 64 65 66 69 6e 65 00 00 26 00 64 65 "\varepsilon."..end.define..&.de
18a0 6c 65 74 65 20 74 6f 6b 65 6e 20 22 5c 7a 65 74 61 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c lete.token."\zeta"./language.=.l
18c0 61 74 65 78 28 00 64 65 66 69 6e 65 20 74 6f 6b 65 6e 20 22 5c 7a 65 74 61 22 20 2f 6c 61 6e 67 atex(.define.token."\zeta"./lang
18e0 75 61 67 65 20 3d 20 6c 61 74 65 78 20 2d 2c 00 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 47 uage.=.latex.-,../description="G
1900 72 65 65 6b 20 6c 65 74 74 65 72 20 7a 65 74 61 2c 20 6c 6f 77 65 72 63 61 73 65 22 00 00 08 00 reek.letter.zeta,.lowercase"....
1920 22 5c 7a 65 74 61 20 22 0a 00 65 6e 64 20 64 65 66 69 6e 65 00 00 25 00 64 65 6c 65 74 65 20 74 "\zeta."..end.define..%.delete.t
1940 6f 6b 65 6e 20 22 5c 65 74 61 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 00 27 00 oken."\eta"./language.=.latex.'.
1960 64 65 66 69 6e 65 20 74 6f 6b 65 6e 20 22 5c 65 74 61 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 define.token."\eta"./language.=.
1980 6c 61 74 65 78 20 2d 00 2b 00 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 47 72 65 65 6b 20 6c latex.-.+../description="Greek.l
19a0 65 74 74 65 72 20 65 74 61 2c 20 6c 6f 77 65 72 63 61 73 65 22 00 00 00 07 00 22 5c 65 74 61 20 etter.eta,.lowercase"....."\eta.
19c0 22 00 0a 00 65 6e 64 20 64 65 66 69 6e 65 00 00 29 00 64 65 6c 65 74 65 20 74 6f 6b 65 6e 20 22 "...end.define..).delete.token."
19e0 5c 74 68 65 74 61 5f 6c 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 00 2b 00 64 65 \theta_l"./language.=.latex.+.de
1a00 66 69 6e 65 20 74 6f 6b 65 6e 20 22 5c 74 68 65 74 61 5f 6c 22 20 2f 6c 61 6e 67 75 61 67 65 20 fine.token."\theta_l"./language.
1a20 3d 20 6c 61 74 65 78 20 2d 00 2d 00 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 47 72 65 65 6b =.latex.-.-../description="Greek
1a40 20 6c 65 74 74 65 72 20 74 68 65 74 61 2c 20 6c 6f 77 65 72 63 61 73 65 22 00 00 00 09 00 22 5c .letter.theta,.lowercase"....."\
1a60 74 68 65 74 61 20 22 00 0a 00 65 6e 64 20 64 65 66 69 6e 65 00 00 29 00 64 65 6c 65 74 65 20 74 theta."...end.define..).delete.t
1a80 6f 6b 65 6e 20 22 5c 54 68 65 74 61 5f 75 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 oken."\Theta_u"./language.=.late
1aa0 78 00 2b 00 64 65 66 69 6e 65 20 74 6f 6b 65 6e 20 22 5c 54 68 65 74 61 5f 75 22 20 2f 6c 61 6e x.+.define.token."\Theta_u"./lan
1ac0 67 75 61 67 65 20 3d 20 6c 61 74 65 78 20 2d 00 2d 00 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d guage.=.latex.-.-../description=
1ae0 22 47 72 65 65 6b 20 6c 65 74 74 65 72 20 74 68 65 74 61 2c 20 75 70 70 65 72 63 61 73 65 22 00 "Greek.letter.theta,.uppercase".
1b00 00 00 09 00 22 5c 54 68 65 74 61 20 22 00 0a 00 65 6e 64 20 64 65 66 69 6e 65 00 00 2a 00 64 65 ...."\Theta."...end.define..*.de
1b20 6c 65 74 65 20 74 6f 6b 65 6e 20 22 5c 76 61 72 74 68 65 74 61 22 20 2f 6c 61 6e 67 75 61 67 65 lete.token."\vartheta"./language
1b40 20 3d 20 6c 61 74 65 78 2c 00 64 65 66 69 6e 65 20 74 6f 6b 65 6e 20 22 5c 76 61 72 74 68 65 74 .=.latex,.define.token."\varthet
1b60 61 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 20 2d 35 00 09 2f 64 65 73 63 72 69 a"./language.=.latex.-5../descri
1b80 70 74 69 6f 6e 3d 22 47 72 65 65 6b 20 6c 65 74 74 65 72 20 74 68 65 74 61 2c 20 76 61 72 69 61 ption="Greek.letter.theta,.varia
1ba0 6e 74 20 6c 6f 77 65 72 63 61 73 65 22 00 00 00 0c 00 22 5c 76 61 72 74 68 65 74 61 20 22 0a 00 nt.lowercase"....."\vartheta."..
1bc0 65 6e 64 20 64 65 66 69 6e 65 00 00 26 00 64 65 6c 65 74 65 20 74 6f 6b 65 6e 20 22 5c 69 6f 74 end.define..&.delete.token."\iot
1be0 61 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 28 00 64 65 66 69 6e 65 20 74 6f 6b a"./language.=.latex(.define.tok
1c00 65 6e 20 22 5c 69 6f 74 61 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 20 2d 2c 00 en."\iota"./language.=.latex.-,.
1c20 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 47 72 65 65 6b 20 6c 65 74 74 65 72 20 69 6f 74 61 ./description="Greek.letter.iota
1c40 2c 20 6c 6f 77 65 72 63 61 73 65 22 00 00 08 00 22 5c 69 6f 74 61 20 22 0a 00 65 6e 64 20 64 65 ,.lowercase"...."\iota."..end.de
1c60 66 69 6e 65 00 00 27 00 64 65 6c 65 74 65 20 74 6f 6b 65 6e 20 22 5c 6b 61 70 70 61 22 20 2f 6c fine..'.delete.token."\kappa"./l
1c80 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 00 29 00 64 65 66 69 6e 65 20 74 6f 6b 65 6e 20 22 anguage.=.latex.).define.token."
1ca0 5c 6b 61 70 70 61 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 20 2d 00 2d 00 09 2f \kappa"./language.=.latex.-.-../
1cc0 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 47 72 65 65 6b 20 6c 65 74 74 65 72 20 6b 61 70 70 61 2c description="Greek.letter.kappa,
1ce0 20 6c 6f 77 65 72 63 61 73 65 22 00 00 00 09 00 22 5c 6b 61 70 70 61 20 22 00 0a 00 65 6e 64 20 .lowercase"....."\kappa."...end.
1d00 64 65 66 69 6e 65 00 00 2a 00 64 65 6c 65 74 65 20 74 6f 6b 65 6e 20 22 5c 6c 61 6d 62 64 61 5f define..*.delete.token."\lambda_
1d20 6c 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 2c 00 64 65 66 69 6e 65 20 74 6f 6b l"./language.=.latex,.define.tok
1d40 65 6e 20 22 5c 6c 61 6d 62 64 61 5f 6c 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 en."\lambda_l"./language.=.latex
1d60 20 2d 2e 00 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 47 72 65 65 6b 20 6c 65 74 74 65 72 20 .-.../description="Greek.letter.
1d80 6c 61 6d 62 64 61 2c 20 6c 6f 77 65 72 63 61 73 65 22 00 00 0a 00 22 5c 6c 61 6d 62 64 61 20 22 lambda,.lowercase"...."\lambda."
1da0 0a 00 65 6e 64 20 64 65 66 69 6e 65 00 00 2a 00 64 65 6c 65 74 65 20 74 6f 6b 65 6e 20 22 5c 4c ..end.define..*.delete.token."\L
1dc0 61 6d 62 64 61 5f 75 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 2c 00 64 65 66 69 ambda_u"./language.=.latex,.defi
1de0 6e 65 20 74 6f 6b 65 6e 20 22 5c 4c 61 6d 62 64 61 5f 75 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d ne.token."\Lambda_u"./language.=
1e00 20 6c 61 74 65 78 20 2d 2e 00 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 47 72 65 65 6b 20 6c .latex.-.../description="Greek.l
1e20 65 74 74 65 72 20 6c 61 6d 62 64 61 2c 20 75 70 70 65 72 63 61 73 65 22 00 00 0a 00 22 5c 4c 61 etter.lambda,.uppercase"...."\La
1e40 6d 62 64 61 20 22 0a 00 65 6e 64 20 64 65 66 69 6e 65 00 00 24 00 64 65 6c 65 74 65 20 74 6f 6b mbda."..end.define..$.delete.tok
1e60 65 6e 20 22 5c 6d 75 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 26 00 64 65 66 69 en."\mu"./language.=.latex&.defi
1e80 6e 65 20 74 6f 6b 65 6e 20 22 5c 6d 75 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 ne.token."\mu"./language.=.latex
1ea0 20 2d 2a 00 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 47 72 65 65 6b 20 6c 65 74 74 65 72 20 .-*../description="Greek.letter.
1ec0 6d 75 2c 20 6c 6f 77 65 72 63 61 73 65 22 00 00 06 00 22 5c 6d 75 20 22 0a 00 65 6e 64 20 64 65 mu,.lowercase"...."\mu."..end.de
1ee0 66 69 6e 65 00 00 24 00 64 65 6c 65 74 65 20 74 6f 6b 65 6e 20 22 5c 6e 75 22 20 2f 6c 61 6e 67 fine..$.delete.token."\nu"./lang
1f00 75 61 67 65 20 3d 20 6c 61 74 65 78 26 00 64 65 66 69 6e 65 20 74 6f 6b 65 6e 20 22 5c 6e 75 22 uage.=.latex&.define.token."\nu"
1f20 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 20 2d 2a 00 09 2f 64 65 73 63 72 69 70 74 ./language.=.latex.-*../descript
1f40 69 6f 6e 3d 22 47 72 65 65 6b 20 6c 65 74 74 65 72 20 6e 75 2c 20 6c 6f 77 65 72 63 61 73 65 22 ion="Greek.letter.nu,.lowercase"
1f60 00 00 06 00 22 5c 6e 75 20 22 0a 00 65 6e 64 20 64 65 66 69 6e 65 00 00 26 00 64 65 6c 65 74 65 ...."\nu."..end.define..&.delete
1f80 20 74 6f 6b 65 6e 20 22 5c 78 69 5f 6c 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 .token."\xi_l"./language.=.latex
1fa0 28 00 64 65 66 69 6e 65 20 74 6f 6b 65 6e 20 22 5c 78 69 5f 6c 22 20 2f 6c 61 6e 67 75 61 67 65 (.define.token."\xi_l"./language
1fc0 20 3d 20 6c 61 74 65 78 20 2d 2a 00 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 47 72 65 65 6b .=.latex.-*../description="Greek
1fe0 20 6c 65 74 74 65 72 20 78 69 2c 20 6c 6f 77 65 72 63 61 73 65 22 00 00 06 00 22 5c 78 69 20 22 .letter.xi,.lowercase"...."\xi."
2000 0a 00 65 6e 64 20 64 65 66 69 6e 65 00 00 26 00 64 65 6c 65 74 65 20 74 6f 6b 65 6e 20 22 5c 58 ..end.define..&.delete.token."\X
2020 69 5f 75 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 28 00 64 65 66 69 6e 65 20 74 i_u"./language.=.latex(.define.t
2040 6f 6b 65 6e 20 22 5c 58 69 5f 75 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 20 2d oken."\Xi_u"./language.=.latex.-
2060 2a 00 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 47 72 65 65 6b 20 6c 65 74 74 65 72 20 78 69 *../description="Greek.letter.xi
2080 2c 20 75 70 70 65 72 63 61 73 65 22 00 00 06 00 22 5c 58 69 20 22 0a 00 65 6e 64 20 64 65 66 69 ,.uppercase"...."\Xi."..end.defi
20a0 6e 65 00 00 26 00 64 65 6c 65 74 65 20 74 6f 6b 65 6e 20 22 5c 70 69 5f 6c 22 20 2f 6c 61 6e 67 ne..&.delete.token."\pi_l"./lang
20c0 75 61 67 65 20 3d 20 6c 61 74 65 78 28 00 64 65 66 69 6e 65 20 74 6f 6b 65 6e 20 22 5c 70 69 5f uage.=.latex(.define.token."\pi_
20e0 6c 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 20 2d 2a 00 09 2f 64 65 73 63 72 69 l"./language.=.latex.-*../descri
2100 70 74 69 6f 6e 3d 22 47 72 65 65 6b 20 6c 65 74 74 65 72 20 70 69 2c 20 6c 6f 77 65 72 63 61 73 ption="Greek.letter.pi,.lowercas
2120 65 22 00 00 06 00 22 5c 70 69 20 22 0a 00 65 6e 64 20 64 65 66 69 6e 65 00 00 26 00 64 65 6c 65 e"...."\pi."..end.define..&.dele
2140 74 65 20 74 6f 6b 65 6e 20 22 5c 50 69 5f 75 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 te.token."\Pi_u"./language.=.lat
2160 65 78 28 00 64 65 66 69 6e 65 20 74 6f 6b 65 6e 20 22 5c 50 69 5f 75 22 20 2f 6c 61 6e 67 75 61 ex(.define.token."\Pi_u"./langua
2180 67 65 20 3d 20 6c 61 74 65 78 20 2d 2a 00 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 47 72 65 ge.=.latex.-*../description="Gre
21a0 65 6b 20 6c 65 74 74 65 72 20 70 69 2c 20 75 70 70 65 72 63 61 73 65 22 00 00 06 00 22 5c 50 69 ek.letter.pi,.uppercase"...."\Pi
21c0 20 22 0a 00 65 6e 64 20 64 65 66 69 6e 65 00 00 27 00 64 65 6c 65 74 65 20 74 6f 6b 65 6e 20 22 ."..end.define..'.delete.token."
21e0 5c 76 61 72 70 69 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 00 29 00 64 65 66 69 \varpi"./language.=.latex.).defi
2200 6e 65 20 74 6f 6b 65 6e 20 22 5c 76 61 72 70 69 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 ne.token."\varpi"./language.=.la
2220 74 65 78 20 2d 00 32 00 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 47 72 65 65 6b 20 6c 65 74 tex.-.2../description="Greek.let
2240 74 65 72 20 70 69 2c 20 76 61 72 69 61 6e 74 20 6c 6f 77 65 72 63 61 73 65 22 00 00 09 00 22 5c ter.pi,.variant.lowercase"...."\
2260 76 61 72 70 69 20 22 00 0a 00 65 6e 64 20 64 65 66 69 6e 65 00 00 25 00 64 65 6c 65 74 65 20 74 varpi."...end.define..%.delete.t
2280 6f 6b 65 6e 20 22 5c 72 68 6f 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 00 27 00 oken."\rho"./language.=.latex.'.
22a0 64 65 66 69 6e 65 20 74 6f 6b 65 6e 20 22 5c 72 68 6f 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 define.token."\rho"./language.=.
22c0 6c 61 74 65 78 20 2d 00 2b 00 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 47 72 65 65 6b 20 6c latex.-.+../description="Greek.l
22e0 65 74 74 65 72 20 72 68 6f 2c 20 6c 6f 77 65 72 63 61 73 65 22 00 00 00 07 00 22 5c 72 68 6f 20 etter.rho,.lowercase"....."\rho.
2300 22 00 0a 00 65 6e 64 20 64 65 66 69 6e 65 00 00 28 00 64 65 6c 65 74 65 20 74 6f 6b 65 6e 20 22 "...end.define..(.delete.token."
2320 5c 76 61 72 72 68 6f 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 2a 00 64 65 66 69 \varrho"./language.=.latex*.defi
2340 6e 65 20 74 6f 6b 65 6e 20 22 5c 76 61 72 72 68 6f 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c ne.token."\varrho"./language.=.l
2360 61 74 65 78 20 2d 33 00 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 47 72 65 65 6b 20 6c 65 74 atex.-3../description="Greek.let
2380 74 65 72 20 72 68 6f 2c 20 76 61 72 69 61 6e 74 20 6c 6f 77 65 72 63 61 73 65 22 00 00 00 0a 00 ter.rho,.variant.lowercase".....
23a0 22 5c 76 61 72 72 68 6f 20 22 0a 00 65 6e 64 20 64 65 66 69 6e 65 00 00 29 00 64 65 6c 65 74 65 "\varrho."..end.define..).delete
23c0 20 74 6f 6b 65 6e 20 22 5c 73 69 67 6d 61 5f 6c 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 .token."\sigma_l"./language.=.la
23e0 74 65 78 00 2b 00 64 65 66 69 6e 65 20 74 6f 6b 65 6e 20 22 5c 73 69 67 6d 61 5f 6c 22 20 2f 6c tex.+.define.token."\sigma_l"./l
2400 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 20 2d 00 2d 00 09 2f 64 65 73 63 72 69 70 74 69 6f anguage.=.latex.-.-../descriptio
2420 6e 3d 22 47 72 65 65 6b 20 6c 65 74 74 65 72 20 73 69 67 6d 61 2c 20 6c 6f 77 65 72 63 61 73 65 n="Greek.letter.sigma,.lowercase
2440 22 00 00 00 09 00 22 5c 73 69 67 6d 61 20 22 00 0a 00 65 6e 64 20 64 65 66 69 6e 65 00 00 29 00 "....."\sigma."...end.define..).
2460 64 65 6c 65 74 65 20 74 6f 6b 65 6e 20 22 5c 53 69 67 6d 61 5f 75 22 20 2f 6c 61 6e 67 75 61 67 delete.token."\Sigma_u"./languag
2480 65 20 3d 20 6c 61 74 65 78 00 2b 00 64 65 66 69 6e 65 20 74 6f 6b 65 6e 20 22 5c 53 69 67 6d 61 e.=.latex.+.define.token."\Sigma
24a0 5f 75 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 20 2d 00 2d 00 09 2f 64 65 73 63 _u"./language.=.latex.-.-../desc
24c0 72 69 70 74 69 6f 6e 3d 22 47 72 65 65 6b 20 6c 65 74 74 65 72 20 73 69 67 6d 61 2c 20 75 70 70 ription="Greek.letter.sigma,.upp
24e0 65 72 63 61 73 65 22 00 00 00 09 00 22 5c 53 69 67 6d 61 20 22 00 0a 00 65 6e 64 20 64 65 66 69 ercase"....."\Sigma."...end.defi
2500 6e 65 00 00 2a 00 64 65 6c 65 74 65 20 74 6f 6b 65 6e 20 22 5c 76 61 72 73 69 67 6d 61 22 20 2f ne..*.delete.token."\varsigma"./
2520 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 2c 00 64 65 66 69 6e 65 20 74 6f 6b 65 6e 20 22 language.=.latex,.define.token."
2540 5c 76 61 72 73 69 67 6d 61 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 20 2d 35 00 \varsigma"./language.=.latex.-5.
2560 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 47 72 65 65 6b 20 6c 65 74 74 65 72 20 73 69 67 6d ./description="Greek.letter.sigm
2580 61 2c 20 76 61 72 69 61 6e 74 20 6c 6f 77 65 72 63 61 73 65 22 00 00 00 0c 00 22 5c 76 61 72 73 a,.variant.lowercase"....."\vars
25a0 69 67 6d 61 20 22 0a 00 65 6e 64 20 64 65 66 69 6e 65 00 00 25 00 64 65 6c 65 74 65 20 74 6f 6b igma."..end.define..%.delete.tok
25c0 65 6e 20 22 5c 74 61 75 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 00 27 00 64 65 en."\tau"./language.=.latex.'.de
25e0 66 69 6e 65 20 74 6f 6b 65 6e 20 22 5c 74 61 75 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 fine.token."\tau"./language.=.la
2600 74 65 78 20 2d 00 2b 00 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 47 72 65 65 6b 20 6c 65 74 tex.-.+../description="Greek.let
2620 74 65 72 20 74 61 75 2c 20 6c 6f 77 65 72 63 61 73 65 22 00 00 00 07 00 22 5c 74 61 75 20 22 00 ter.tau,.lowercase"....."\tau.".
2640 0a 00 65 6e 64 20 64 65 66 69 6e 65 00 00 2b 00 64 65 6c 65 74 65 20 74 6f 6b 65 6e 20 22 5c 75 ..end.define..+.delete.token."\u
2660 70 73 69 6c 6f 6e 5f 6c 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 00 2d 00 64 65 psilon_l"./language.=.latex.-.de
2680 66 69 6e 65 20 74 6f 6b 65 6e 20 22 5c 75 70 73 69 6c 6f 6e 5f 6c 22 20 2f 6c 61 6e 67 75 61 67 fine.token."\upsilon_l"./languag
26a0 65 20 3d 20 6c 61 74 65 78 20 2d 00 2f 00 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 47 72 65 e.=.latex.-./../description="Gre
26c0 65 6b 20 6c 65 74 74 65 72 20 75 70 73 69 6c 6f 6e 2c 20 6c 6f 77 65 72 63 61 73 65 22 00 00 00 ek.letter.upsilon,.lowercase"...
26e0 0b 00 22 5c 75 70 73 69 6c 6f 6e 20 22 00 0a 00 65 6e 64 20 64 65 66 69 6e 65 00 00 2b 00 64 65 .."\upsilon."...end.define..+.de
2700 6c 65 74 65 20 74 6f 6b 65 6e 20 22 5c 55 70 73 69 6c 6f 6e 5f 75 22 20 2f 6c 61 6e 67 75 61 67 lete.token."\Upsilon_u"./languag
2720 65 20 3d 20 6c 61 74 65 78 00 2d 00 64 65 66 69 6e 65 20 74 6f 6b 65 6e 20 22 5c 55 70 73 69 6c e.=.latex.-.define.token."\Upsil
2740 6f 6e 5f 75 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 20 2d 00 2f 00 09 2f 64 65 on_u"./language.=.latex.-./../de
2760 73 63 72 69 70 74 69 6f 6e 3d 22 47 72 65 65 6b 20 6c 65 74 74 65 72 20 75 70 73 69 6c 6f 6e 2c scription="Greek.letter.upsilon,
2780 20 75 70 70 65 72 63 61 73 65 22 00 00 00 0b 00 22 5c 55 70 73 69 6c 6f 6e 20 22 00 0a 00 65 6e .uppercase"....."\Upsilon."...en
27a0 64 20 64 65 66 69 6e 65 00 00 27 00 64 65 6c 65 74 65 20 74 6f 6b 65 6e 20 22 5c 70 68 69 5f 6c d.define..'.delete.token."\phi_l
27c0 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 00 29 00 64 65 66 69 6e 65 20 74 6f 6b "./language.=.latex.).define.tok
27e0 65 6e 20 22 5c 70 68 69 5f 6c 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 20 2d 00 en."\phi_l"./language.=.latex.-.
2800 2b 00 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 47 72 65 65 6b 20 6c 65 74 74 65 72 20 70 68 +../description="Greek.letter.ph
2820 69 2c 20 6c 6f 77 65 72 63 61 73 65 22 00 00 00 07 00 22 5c 70 68 69 20 22 00 0a 00 65 6e 64 20 i,.lowercase"....."\phi."...end.
2840 64 65 66 69 6e 65 00 00 27 00 64 65 6c 65 74 65 20 74 6f 6b 65 6e 20 22 5c 50 68 69 5f 75 22 20 define..'.delete.token."\Phi_u".
2860 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 00 29 00 64 65 66 69 6e 65 20 74 6f 6b 65 6e /language.=.latex.).define.token
2880 20 22 5c 50 68 69 5f 75 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 20 2d 00 2b 00 ."\Phi_u"./language.=.latex.-.+.
28a0 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 47 72 65 65 6b 20 6c 65 74 74 65 72 20 70 68 69 2c ./description="Greek.letter.phi,
28c0 20 75 70 70 65 72 63 61 73 65 22 00 00 00 07 00 22 5c 50 68 69 20 22 00 0a 00 65 6e 64 20 64 65 .uppercase"....."\Phi."...end.de
28e0 66 69 6e 65 00 00 28 00 64 65 6c 65 74 65 20 74 6f 6b 65 6e 20 22 5c 76 61 72 70 68 69 22 20 2f fine..(.delete.token."\varphi"./
2900 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 2a 00 64 65 66 69 6e 65 20 74 6f 6b 65 6e 20 22 language.=.latex*.define.token."
2920 5c 76 61 72 70 68 69 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 20 2d 33 00 09 2f \varphi"./language.=.latex.-3../
2940 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 47 72 65 65 6b 20 6c 65 74 74 65 72 20 70 68 69 2c 20 76 description="Greek.letter.phi,.v
2960 61 72 69 61 6e 74 20 6c 6f 77 65 72 63 61 73 65 22 00 00 00 0a 00 22 5c 76 61 72 70 68 69 20 22 ariant.lowercase"....."\varphi."
2980 0a 00 65 6e 64 20 64 65 66 69 6e 65 00 00 25 00 64 65 6c 65 74 65 20 74 6f 6b 65 6e 20 22 5c 63 ..end.define..%.delete.token."\c
29a0 68 69 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 00 27 00 64 65 66 69 6e 65 20 74 hi"./language.=.latex.'.define.t
29c0 6f 6b 65 6e 20 22 5c 63 68 69 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 20 2d 00 oken."\chi"./language.=.latex.-.
29e0 2b 00 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 47 72 65 65 6b 20 6c 65 74 74 65 72 20 63 68 +../description="Greek.letter.ch
2a00 69 2c 20 6c 6f 77 65 72 63 61 73 65 22 00 00 00 07 00 22 5c 63 68 69 20 22 00 0a 00 65 6e 64 20 i,.lowercase"....."\chi."...end.
2a20 64 65 66 69 6e 65 00 00 27 00 64 65 6c 65 74 65 20 74 6f 6b 65 6e 20 22 5c 70 73 69 5f 6c 22 20 define..'.delete.token."\psi_l".
2a40 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 00 29 00 64 65 66 69 6e 65 20 74 6f 6b 65 6e /language.=.latex.).define.token
2a60 20 22 5c 70 73 69 5f 6c 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 20 2d 00 2b 00 ."\psi_l"./language.=.latex.-.+.
2a80 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 47 72 65 65 6b 20 6c 65 74 74 65 72 20 70 73 69 2c ./description="Greek.letter.psi,
2aa0 20 6c 6f 77 65 72 63 61 73 65 22 00 00 00 07 00 22 5c 70 73 69 20 22 00 0a 00 65 6e 64 20 64 65 .lowercase"....."\psi."...end.de
2ac0 66 69 6e 65 00 00 27 00 64 65 6c 65 74 65 20 74 6f 6b 65 6e 20 22 5c 50 73 69 5f 75 22 20 2f 6c fine..'.delete.token."\Psi_u"./l
2ae0 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 00 29 00 64 65 66 69 6e 65 20 74 6f 6b 65 6e 20 22 anguage.=.latex.).define.token."
2b00 5c 50 73 69 5f 75 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 20 2d 00 2b 00 09 2f \Psi_u"./language.=.latex.-.+../
2b20 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 47 72 65 65 6b 20 6c 65 74 74 65 72 20 70 73 69 2c 20 75 description="Greek.letter.psi,.u
2b40 70 70 65 72 63 61 73 65 22 00 00 00 07 00 22 5c 50 73 69 20 22 00 0a 00 65 6e 64 20 64 65 66 69 ppercase"....."\Psi."...end.defi
2b60 6e 65 00 00 29 00 64 65 6c 65 74 65 20 74 6f 6b 65 6e 20 22 5c 6f 6d 65 67 61 5f 6c 22 20 2f 6c ne..).delete.token."\omega_l"./l
2b80 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 00 2b 00 64 65 66 69 6e 65 20 74 6f 6b 65 6e 20 22 anguage.=.latex.+.define.token."
2ba0 5c 6f 6d 65 67 61 5f 6c 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 20 2d 00 2d 00 \omega_l"./language.=.latex.-.-.
2bc0 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 47 72 65 65 6b 20 6c 65 74 74 65 72 20 6f 6d 65 67 ./description="Greek.letter.omeg
2be0 61 2c 20 6c 6f 77 65 72 63 61 73 65 22 00 00 00 09 00 22 5c 6f 6d 65 67 61 20 22 00 0a 00 65 6e a,.lowercase"....."\omega."...en
2c00 64 20 64 65 66 69 6e 65 00 00 29 00 64 65 6c 65 74 65 20 74 6f 6b 65 6e 20 22 5c 4f 6d 65 67 61 d.define..).delete.token."\Omega
2c20 5f 75 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 00 2b 00 64 65 66 69 6e 65 20 74 _u"./language.=.latex.+.define.t
2c40 6f 6b 65 6e 20 22 5c 4f 6d 65 67 61 5f 75 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 oken."\Omega_u"./language.=.late
2c60 78 20 2d 00 2d 00 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 47 72 65 65 6b 20 6c 65 74 74 65 x.-.-../description="Greek.lette
2c80 72 20 6f 6d 65 67 61 2c 20 75 70 70 65 72 63 61 73 65 22 00 00 00 09 00 22 5c 4f 6d 65 67 61 20 r.omega,.uppercase"....."\Omega.
2ca0 22 00 0a 00 65 6e 64 20 64 65 66 69 6e 65 00 00 02 00 21 0c 01 00 21 00 1a 00 21 20 42 69 6e 61 "...end.define....!...!...!.Bina
2cc0 72 79 20 4f 70 65 72 61 74 69 6f 6e 20 53 79 6d 62 6f 6c 73 01 00 21 00 31 00 64 65 6c 65 74 65 ry.Operation.Symbols..!.1.delete
2ce0 20 70 6c 61 63 65 68 6f 6c 64 65 72 20 22 62 69 6e 61 72 79 5f 6f 70 73 22 20 2f 6c 61 6e 67 75 .placeholder."binary_ops"./langu
2d00 61 67 65 20 3d 20 6c 61 74 65 78 00 33 00 64 65 66 69 6e 65 20 70 6c 61 63 65 68 6f 6c 64 65 72 age.=.latex.3.define.placeholder
2d20 20 22 62 69 6e 61 72 79 5f 6f 70 73 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 20 ."binary_ops"./language.=.latex.
2d40 2d 00 4a 00 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 42 69 6e 61 72 79 20 6f 70 65 72 61 74 -.J../description="Binary.operat
2d60 69 6f 6e 73 20 73 79 6d 62 6f 6c 73 2c 20 73 65 65 20 54 61 62 6c 65 20 33 2e 34 20 6f 66 20 4c ions.symbols,.see.Table.3.4.of.L
2d80 61 54 65 58 20 6d 61 6e 75 61 6c 22 20 2d 0b 00 09 2f 74 79 70 65 3d 6d 65 6e 75 00 00 00 25 00 aTeX.manual".-.../type=menu...%.
2da0 22 5c 70 6d 22 09 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 50 6c 75 73 20 6f 76 65 72 20 6d "\pm"../description="Plus.over.m
2dc0 69 6e 75 73 22 00 25 00 22 5c 6d 70 22 09 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 4d 69 6e inus".%."\mp"../description="Min
2de0 75 73 20 6f 76 65 72 20 70 6c 75 73 22 00 26 00 22 5c 74 69 6d 65 73 22 09 2f 64 65 73 63 72 69 us.over.plus".&."\times"./descri
2e00 70 74 69 6f 6e 3d 22 4d 75 6c 74 69 70 6c 69 63 61 74 69 6f 6e 22 1f 00 22 5c 64 69 76 22 09 09 ption="Multiplication".."\div"..
2e20 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 44 69 76 69 73 69 6f 6e 22 00 1f 00 22 5c 61 73 74 22 /description="Division"..."\ast"
2e40 09 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 41 73 74 65 72 69 73 6b 22 00 1c 00 22 5c 73 74 ../description="Asterisk"..."\st
2e60 61 72 22 09 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 53 74 61 72 22 1e 00 22 5c 63 69 72 63 ar"../description="Star".."\circ
2e80 22 09 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 43 69 72 63 6c 65 22 26 00 22 5c 62 75 6c 6c "../description="Circle"&."\bull
2ea0 65 74 22 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 46 69 6c 6c 65 64 20 63 69 72 63 6c 65 22 et"./description="Filled.circle"
2ec0 22 00 22 5c 63 64 6f 74 22 09 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 52 61 69 73 65 64 20 "."\cdot"../description="Raised.
2ee0 64 6f 74 22 23 00 22 5c 63 61 70 22 09 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 49 6e 74 65 dot"#."\cap"../description="Inte
2f00 72 73 65 63 74 69 6f 6e 22 00 1c 00 22 5c 63 75 70 22 09 09 2f 64 65 73 63 72 69 70 74 69 6f 6e rsection"..."\cup"../description
2f20 3d 22 55 6e 69 6f 6e 22 29 00 22 5c 75 70 6c 75 73 22 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d ="Union")."\uplus"./description=
2f40 22 55 6e 69 6f 6e 20 77 69 74 68 20 61 20 70 6c 75 73 22 00 2b 00 22 5c 73 71 63 61 70 22 09 2f "Union.with.a.plus".+."\sqcap"./
2f60 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 53 71 75 61 72 65 20 69 6e 74 65 72 73 65 63 74 69 6f 6e description="Square.intersection
2f80 22 00 24 00 22 5c 73 71 63 75 70 22 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 53 71 75 61 72 ".$."\sqcup"./description="Squar
2fa0 65 20 75 6e 69 6f 6e 22 1e 00 22 5c 76 65 65 22 09 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 e.union".."\vee"../description="
2fc0 4c 61 72 67 65 20 56 22 2a 00 22 5c 77 65 64 67 65 22 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d Large.V"*."\wedge"./description=
2fe0 22 4c 61 72 67 65 20 75 70 73 69 64 65 64 6f 77 6e 20 56 22 24 00 22 5c 73 65 74 6d 69 6e 75 73 "Large.upsidedown.V"$."\setminus
3000 22 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 42 61 63 6b 73 6c 61 73 68 22 22 00 22 5c 77 72 "./description="Backslash""."\wr
3020 22 09 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 54 69 6c 64 65 20 6f 6e 20 65 6e 64 22 22 00 "../description="Tilde.on.end"".
3040 22 5c 64 69 61 6d 6f 6e 64 22 09 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 44 69 61 6d 6f 6e "\diamond"../description="Diamon
3060 64 22 34 00 22 5c 62 69 67 74 72 69 61 6e 67 6c 65 75 70 22 09 2f 64 65 73 63 72 69 70 74 69 6f d"4."\bigtriangleup"./descriptio
3080 6e 3d 22 54 72 69 61 6e 67 6c 65 20 70 6f 69 6e 74 69 6e 67 20 75 70 22 38 00 22 5c 62 69 67 74 n="Triangle.pointing.up"8."\bigt
30a0 72 69 61 6e 67 6c 65 64 6f 77 6e 22 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 54 72 69 61 6e riangledown"./description="Trian
30c0 67 6c 65 20 70 6f 69 6e 74 69 6e 67 20 64 6f 77 6e 22 36 00 22 5c 74 72 69 61 6e 67 6c 65 6c 65 gle.pointing.down"6."\trianglele
30e0 66 74 22 09 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 54 72 69 61 6e 67 6c 65 20 70 6f 69 6e ft"../description="Triangle.poin
3100 74 69 6e 67 20 6c 65 66 74 22 37 00 22 5c 74 72 69 61 6e 67 6c 65 72 69 67 68 74 22 09 2f 64 65 ting.left"7."\triangleright"./de
3120 73 63 72 69 70 74 69 6f 6e 3d 22 54 72 69 61 6e 67 6c 65 20 70 6f 69 6e 74 69 6e 67 20 72 69 67 scription="Triangle.pointing.rig
3140 68 74 22 00 2e 00 22 5c 6c 68 64 22 09 09 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 54 72 69 ht"..."\lhd".../description="Tri
3160 61 6e 67 6c 65 20 70 6f 69 6e 74 69 6e 67 20 6c 65 66 74 22 2f 00 22 5c 72 68 64 22 09 09 09 2f angle.pointing.left"/."\rhd".../
3180 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 54 72 69 61 6e 67 6c 65 20 70 6f 69 6e 74 69 6e 67 20 72 description="Triangle.pointing.r
31a0 69 67 68 74 22 00 3a 00 22 5c 75 6e 6c 68 64 22 09 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 ight".:."\unlhd"../description="
31c0 55 6e 64 65 72 6c 69 6e 65 64 20 74 72 69 61 6e 67 6c 65 20 70 6f 69 6e 74 69 6e 67 20 6c 65 66 Underlined.triangle.pointing.lef
31e0 74 22 3b 00 22 5c 75 6e 72 68 64 22 09 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 55 6e 64 65 t";."\unrhd"../description="Unde
3200 72 6c 69 6e 65 64 20 74 72 69 61 6e 67 6c 65 20 70 6f 69 6e 74 69 6e 67 20 72 69 67 68 74 22 00 rlined.triangle.pointing.right".
3220 32 00 22 5c 6f 70 6c 75 73 22 09 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 43 69 72 63 6c 65 2."\oplus"../description="Circle
3240 20 77 69 74 68 20 61 20 70 6c 75 73 20 69 6e 73 69 64 65 22 34 00 22 5c 6f 6d 69 6e 75 73 22 09 .with.a.plus.inside"4."\ominus".
3260 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 43 69 72 63 6c 65 20 77 69 74 68 20 61 20 6d 69 6e ./description="Circle.with.a.min
3280 75 73 20 69 6e 73 69 64 65 22 31 00 22 5c 6f 74 69 6d 65 73 22 09 09 2f 64 65 73 63 72 69 70 74 us.inside"1."\otimes"../descript
32a0 69 6f 6e 3d 22 43 69 72 63 6c 65 20 77 69 74 68 20 61 6e 20 78 20 69 6e 73 69 64 65 22 00 40 00 ion="Circle.with.an.x.inside".@.
32c0 22 5c 6f 73 6c 61 73 68 22 09 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 43 69 72 63 6c 65 20 "\oslash"../description="Circle.
32e0 77 69 74 68 20 61 20 2f 20 69 6e 73 69 64 65 20 28 47 68 6f 73 74 62 75 73 74 65 72 73 21 29 22 with.a./.inside.(Ghostbusters!)"
3300 31 00 22 5c 6f 64 6f 74 22 09 09 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 43 69 72 63 6c 65 1."\odot".../description="Circle
3320 20 77 69 74 68 20 61 20 64 6f 74 20 69 6e 73 69 64 65 22 00 25 00 22 5c 62 69 67 63 69 72 63 22 .with.a.dot.inside".%."\bigcirc"
3340 09 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 42 69 67 20 63 69 72 63 6c 65 22 00 20 00 22 5c ../description="Big.circle"..."\
3360 64 61 67 67 65 72 22 09 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 44 61 67 67 65 72 22 28 00 dagger"../description="Dagger"(.
3380 22 5c 64 64 61 67 67 65 72 22 09 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 44 6f 75 62 6c 65 "\ddagger"../description="Double
33a0 20 64 61 67 67 65 72 22 2e 00 22 5c 61 6d 61 6c 67 22 09 09 2f 64 65 73 63 72 69 70 74 69 6f 6e .dagger".."\amalg"../description
33c0 3d 22 55 70 73 69 64 65 64 6f 77 6e 20 63 61 70 69 74 6f 6c 20 50 69 22 0a 00 65 6e 64 20 64 65 ="Upsidedown.capitol.Pi"..end.de
33e0 66 69 6e 65 00 00 2b 00 64 65 6c 65 74 65 20 74 6f 6b 65 6e 20 22 62 69 6e 61 72 79 5f 6f 70 73 fine..+.delete.token."binary_ops
3400 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 00 2d 00 64 65 66 69 6e 65 20 74 6f 6b "./language.=.latex.-.define.tok
3420 65 6e 20 22 62 69 6e 61 72 79 5f 6f 70 73 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 en."binary_ops"./language.=.late
3440 78 20 2d 00 1a 00 09 2f 70 6c 61 63 65 68 6f 6c 64 65 72 20 3d 20 62 69 6e 61 72 79 5f 6f 70 73 x.-..../placeholder.=.binary_ops
3460 00 00 02 00 21 0c 01 00 21 00 12 00 21 20 52 65 6c 61 74 69 6f 6e 20 53 79 6d 62 6f 6c 73 01 00 ....!...!...!.Relation.Symbols..
3480 21 00 37 00 64 65 6c 65 74 65 20 70 6c 61 63 65 68 6f 6c 64 65 72 20 22 72 65 6c 61 74 69 6f 6e !.7.delete.placeholder."relation
34a0 5f 73 79 6d 62 6f 6c 73 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 00 39 00 64 65 _symbols"./language.=.latex.9.de
34c0 66 69 6e 65 20 70 6c 61 63 65 68 6f 6c 64 65 72 20 22 72 65 6c 61 74 69 6f 6e 5f 73 79 6d 62 6f fine.placeholder."relation_symbo
34e0 6c 73 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 20 2d 00 41 00 09 2f 64 65 73 63 ls"./language.=.latex.-.A../desc
3500 72 69 70 74 69 6f 6e 3d 22 52 65 6c 61 74 69 6f 6e 20 73 79 6d 62 6f 6c 73 2c 20 73 65 65 20 54 ription="Relation.symbols,.see.T
3520 61 62 6c 65 20 33 2e 35 20 6f 66 20 4c 61 54 65 58 20 6d 61 6e 75 61 6c 22 20 2d 00 0b 00 09 2f able.3.5.of.LaTeX.manual".-..../
3540 74 79 70 65 3d 6d 65 6e 75 00 00 00 2c 00 22 5c 6c 65 71 22 09 09 2f 64 65 73 63 72 69 70 74 69 type=menu...,."\leq"../descripti
3560 6f 6e 3d 22 4c 65 73 73 20 74 68 61 6e 20 6f 72 20 65 71 75 61 6c 20 74 6f 22 18 00 22 5c 70 72 on="Less.than.or.equal.to".."\pr
3580 65 63 22 09 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 22 19 00 22 5c 70 72 65 63 65 71 22 09 ec"../description="".."\preceq".
35a0 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 22 00 26 00 22 5c 6c 6c 22 09 09 2f 64 65 73 63 72 69 /description="".&."\ll"../descri
35c0 70 74 69 6f 6e 3d 22 44 6f 75 62 6c 65 20 6c 65 73 73 20 74 68 61 6e 22 1f 00 22 5c 73 75 62 73 ption="Double.less.than".."\subs
35e0 65 74 22 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 53 75 62 73 65 74 22 00 28 00 22 5c 73 75 et"./description="Subset".(."\su
3600 62 73 65 74 65 71 22 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 53 75 62 73 65 74 20 65 71 75 bseteq"./description="Subset.equ
3620 61 6c 73 22 28 00 22 5c 73 71 73 75 62 73 65 74 22 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 als"(."\sqsubset"./description="
3640 53 71 75 61 72 65 20 73 75 62 73 65 74 22 31 00 22 5c 73 71 73 75 62 73 65 74 65 71 22 09 2f 64 Square.subset"1."\sqsubseteq"./d
3660 65 73 63 72 69 70 74 69 6f 6e 3d 22 53 71 75 61 72 65 20 73 75 62 73 65 74 20 65 71 75 61 6c 73 escription="Square.subset.equals
3680 22 00 20 00 22 5c 69 6e 22 09 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 65 6c 65 6d 65 6e 74 "..."\in"../description="element
36a0 20 6f 66 22 18 00 22 5c 76 64 61 73 68 22 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 22 2f 00 .of".."\vdash"./description=""/.
36c0 22 5c 67 65 71 22 09 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 47 72 65 61 74 65 72 20 74 68 "\geq"../description="Greater.th
36e0 61 6e 20 6f 72 20 65 71 75 61 6c 20 74 6f 22 00 18 00 22 5c 73 75 63 63 22 09 09 2f 64 65 73 63 an.or.equal.to"..."\succ"../desc
3700 72 69 70 74 69 6f 6e 3d 22 22 19 00 22 5c 73 75 63 63 65 71 22 09 2f 64 65 73 63 72 69 70 74 69 ription="".."\succeq"./descripti
3720 6f 6e 3d 22 22 00 29 00 22 5c 67 67 22 09 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 44 6f 75 on="".)."\gg"../description="Dou
3740 62 6c 65 20 67 72 65 61 74 65 72 20 74 68 61 6e 22 00 21 00 22 5c 73 75 70 73 65 74 22 09 2f 64 ble.greater.than".!."\supset"./d
3760 65 73 63 72 69 70 74 69 6f 6e 3d 22 53 75 70 65 72 73 65 74 22 00 2a 00 22 5c 73 75 70 73 65 74 escription="Superset".*."\supset
3780 65 71 22 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 53 75 70 65 72 73 65 74 20 65 71 75 61 6c eq"./description="Superset.equal
37a0 73 22 2a 00 22 5c 73 71 73 75 70 73 65 74 22 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 53 71 s"*."\sqsupset"./description="Sq
37c0 75 61 72 65 20 73 75 70 65 72 73 65 74 22 33 00 22 5c 73 71 73 75 70 73 65 74 65 71 22 09 2f 64 uare.superset"3."\sqsupseteq"./d
37e0 65 73 63 72 69 70 74 69 6f 6e 3d 22 53 71 75 61 72 65 20 73 75 70 65 72 73 65 74 20 65 71 75 61 escription="Square.superset.equa
3800 6c 73 22 00 24 00 22 5c 6e 69 22 09 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 4e 6f 74 20 65 ls".$."\ni"../description="Not.e
3820 6c 65 6d 65 6e 74 20 6f 66 22 18 00 22 5c 64 61 73 68 76 22 09 2f 64 65 73 63 72 69 70 74 69 6f lement.of".."\dashv"./descriptio
3840 6e 3d 22 22 25 00 22 5c 65 71 75 69 76 22 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 45 71 75 n=""%."\equiv"./description="Equ
3860 69 76 61 6c 65 6e 74 20 74 6f 22 00 21 00 22 5c 73 69 6d 22 09 09 2f 64 65 73 63 72 69 70 74 69 ivalent.to".!."\sim"../descripti
3880 6f 6e 3d 22 53 69 6d 69 6c 61 72 20 74 6f 22 00 18 00 22 5c 73 69 6d 65 71 22 09 2f 64 65 73 63 on="Similar.to"..."\simeq"./desc
38a0 72 69 70 74 69 6f 6e 3d 22 22 18 00 22 5c 61 73 79 6d 70 22 09 2f 64 65 73 63 72 69 70 74 69 6f ription="".."\asymp"./descriptio
38c0 6e 3d 22 22 26 00 22 5c 61 70 70 72 6f 78 22 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 41 70 n=""&."\approx"./description="Ap
38e0 70 72 6f 78 69 6d 61 74 65 6c 79 22 18 00 22 5c 63 6f 6e 67 22 09 09 2f 64 65 73 63 72 69 70 74 proximately".."\cong"../descript
3900 69 6f 6e 3d 22 22 23 00 22 5c 6e 65 71 22 09 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 4e 6f ion=""#."\neq"../description="No
3920 74 20 65 71 75 61 6c 20 74 6f 22 00 18 00 22 5c 64 6f 74 65 71 22 09 2f 64 65 73 63 72 69 70 74 t.equal.to"..."\doteq"./descript
3940 69 6f 6e 3d 22 22 19 00 22 5c 70 72 6f 70 74 6f 22 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 ion="".."\propto"./description="
3960 22 00 19 00 22 5c 6d 6f 64 65 6c 73 22 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 22 00 25 00 "..."\models"./description="".%.
3980 22 5c 70 65 72 70 22 09 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 50 65 72 70 65 6e 64 69 63 "\perp"../description="Perpendic
39a0 75 6c 61 72 22 00 17 00 22 5c 6d 69 64 22 09 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 22 00 ular"..."\mid"../description="".
39c0 26 00 22 5c 70 61 72 61 6c 6c 65 6c 22 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 50 61 72 61 &."\parallel"./description="Para
39e0 6c 6c 65 6c 20 74 6f 22 19 00 22 5c 62 6f 77 74 69 65 22 09 2f 64 65 73 63 72 69 70 74 69 6f 6e llel.to".."\bowtie"./description
3a00 3d 22 22 00 18 00 22 5c 4a 6f 69 6e 22 09 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 22 18 00 =""..."\Join"../description=""..
3a20 22 5c 73 6d 69 6c 65 22 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 22 18 00 22 5c 66 72 6f 77 "\smile"./description="".."\frow
3a40 6e 22 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 22 0a 00 65 6e 64 20 64 65 66 69 6e 65 00 00 n"./description=""..end.define..
3a60 31 00 64 65 6c 65 74 65 20 74 6f 6b 65 6e 20 22 72 65 6c 61 74 69 6f 6e 5f 73 79 6d 62 6f 6c 73 1.delete.token."relation_symbols
3a80 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 00 33 00 64 65 66 69 6e 65 20 74 6f 6b "./language.=.latex.3.define.tok
3aa0 65 6e 20 22 72 65 6c 61 74 69 6f 6e 5f 73 79 6d 62 6f 6c 73 22 20 2f 6c 61 6e 67 75 61 67 65 20 en."relation_symbols"./language.
3ac0 3d 20 6c 61 74 65 78 20 2d 00 1e 00 09 2f 70 6c 61 63 65 68 6f 6c 64 65 72 3d 72 65 6c 61 74 69 =.latex.-..../placeholder=relati
3ae0 6f 6e 5f 73 79 6d 62 6f 6c 73 00 00 02 00 21 0c 01 00 21 00 0e 00 21 41 72 72 6f 77 20 53 79 6d on_symbols....!...!...!Arrow.Sym
3b00 62 6f 6c 73 01 00 21 00 34 00 64 65 6c 65 74 65 20 70 6c 61 63 65 68 6f 6c 64 65 72 20 22 61 72 bols..!.4.delete.placeholder."ar
3b20 72 6f 77 5f 73 79 6d 62 6f 6c 73 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 36 00 row_symbols"./language.=.latex6.
3b40 64 65 66 69 6e 65 20 70 6c 61 63 65 68 6f 6c 64 65 72 20 22 61 72 72 6f 77 5f 73 79 6d 62 6f 6c define.placeholder."arrow_symbol
3b60 73 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 20 2d 3e 00 09 2f 64 65 73 63 72 69 s"./language.=.latex.->../descri
3b80 70 74 69 6f 6e 3d 22 41 72 72 6f 77 20 73 79 6d 62 6f 6c 73 2c 20 73 65 65 20 54 61 62 6c 65 20 ption="Arrow.symbols,.see.Table.
3ba0 33 2e 36 20 6f 66 20 4c 61 54 65 58 20 6d 61 6e 75 61 6c 22 20 2d 0b 00 09 2f 74 79 70 65 3d 6d 3.6.of.LaTeX.manual".-.../type=m
3bc0 65 6e 75 00 00 00 27 00 22 5c 6c 65 66 74 61 72 72 6f 77 22 09 09 2f 64 65 73 63 72 69 70 74 69 enu...'."\leftarrow"../descripti
3be0 6f 6e 3d 22 4c 65 66 74 20 61 72 72 6f 77 22 00 2c 00 22 5c 4c 65 66 74 61 72 72 6f 77 22 09 09 on="Left.arrow".,."\Leftarrow"..
3c00 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 57 69 64 65 20 6c 65 66 74 20 61 72 72 6f 77 22 29 00 /description="Wide.left.arrow").
3c20 22 5c 72 69 67 68 74 61 72 72 6f 77 22 09 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 72 69 67 "\rightarrow"../description="rig
3c40 68 74 20 61 72 72 6f 77 22 00 2e 00 22 5c 52 69 67 68 74 61 72 72 6f 77 22 09 09 2f 64 65 73 63 ht.arrow"..."\Rightarrow"../desc
3c60 72 69 70 74 69 6f 6e 3d 22 57 69 64 65 20 72 69 67 68 74 20 61 72 72 6f 77 22 41 00 22 5c 6c 65 ription="Wide.right.arrow"A."\le
3c80 66 74 72 69 67 68 74 61 72 72 6f 77 22 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 61 72 72 6f ftrightarrow"./description="arro
3ca0 77 20 70 6f 69 6e 74 69 6e 67 20 62 6f 74 68 20 6c 65 66 74 20 26 20 72 69 67 68 74 22 00 46 00 w.pointing.both.left.&.right".F.
3cc0 22 5c 4c 65 66 74 72 69 67 68 74 61 72 72 6f 77 22 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 "\Leftrightarrow"./description="
3ce0 57 69 64 65 20 61 72 72 6f 77 20 70 6f 69 6e 74 69 6e 67 20 62 6f 74 68 20 6c 65 66 74 20 26 20 Wide.arrow.pointing.both.left.&.
3d00 72 69 67 68 74 22 21 00 22 5c 6d 61 70 73 74 6f 22 09 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d right"!."\mapsto"../description=
3d20 22 4d 61 70 73 20 74 6f 22 00 36 00 22 5c 68 6f 6f 6b 6c 65 66 74 61 72 72 6f 77 22 09 2f 64 65 "Maps.to".6."\hookleftarrow"./de
3d40 73 63 72 69 70 74 69 6f 6e 3d 22 4c 65 66 74 20 61 72 72 6f 77 20 77 69 74 68 20 61 20 68 6f 6f scription="Left.arrow.with.a.hoo
3d60 6b 22 42 00 22 5c 6c 65 66 74 68 61 72 70 6f 6f 6e 75 70 22 09 2f 64 65 73 63 72 69 70 74 69 6f k"B."\leftharpoonup"./descriptio
3d80 6e 3d 22 4c 65 66 74 20 68 61 72 70 6f 6f 6e 20 77 69 74 68 20 68 6f 6f 6b 20 70 6f 69 6e 74 69 n="Left.harpoon.with.hook.pointi
3da0 6e 67 20 75 70 22 46 00 22 5c 6c 65 66 74 68 61 72 70 6f 6f 6e 64 6f 77 6e 22 09 2f 64 65 73 63 ng.up"F."\leftharpoondown"./desc
3dc0 72 69 70 74 69 6f 6e 3d 22 4c 65 66 74 20 68 61 72 70 6f 6f 6e 20 77 69 74 68 20 68 6f 6f 6b 20 ription="Left.harpoon.with.hook.
3de0 70 6f 69 6e 74 69 6e 67 20 64 6f 77 6e 22 39 00 22 5c 72 69 67 68 74 6c 65 66 74 68 61 72 70 6f pointing.down"9."\rightleftharpo
3e00 6f 6e 73 22 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 4c 65 66 74 20 26 20 72 69 67 68 74 20 ons"./description="Left.&.right.
3e20 68 61 72 70 6f 6f 6e 73 22 00 2f 00 22 5c 6c 6f 6e 67 6c 65 66 74 61 72 72 6f 77 22 09 2f 64 65 harpoons"./."\longleftarrow"./de
3e40 73 63 72 69 70 74 69 6f 6e 3d 22 4c 6f 6e 67 20 6c 65 66 74 20 61 72 72 6f 77 22 00 34 00 22 5c scription="Long.left.arrow".4."\
3e60 4c 6f 6e 67 6c 65 66 74 61 72 72 6f 77 22 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 57 69 64 Longleftarrow"./description="Wid
3e80 65 20 6c 6f 6e 67 20 6c 65 66 74 20 61 72 72 6f 77 22 31 00 22 5c 6c 6f 6e 67 72 69 67 68 74 61 e.long.left.arrow"1."\longrighta
3ea0 72 72 6f 77 22 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 4c 6f 6e 67 20 72 69 67 68 74 20 61 rrow"./description="Long.right.a
3ec0 72 72 6f 77 22 00 36 00 22 5c 4c 6f 6e 67 72 69 67 68 74 61 72 72 6f 77 22 09 2f 64 65 73 63 72 rrow".6."\Longrightarrow"./descr
3ee0 69 70 74 69 6f 6e 3d 22 57 69 64 65 20 6c 6f 6e 67 20 72 69 67 68 74 20 61 72 72 6f 77 22 2a 00 iption="Wide.long.right.arrow"*.
3f00 22 5c 6c 6f 6e 67 6d 61 70 73 74 6f 22 09 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 4c 6f 6e "\longmapsto"../description="Lon
3f20 67 20 6d 61 70 73 20 74 6f 22 38 00 22 5c 68 6f 6f 6b 72 69 67 68 74 61 72 72 6f 77 22 09 2f 64 g.maps.to"8."\hookrightarrow"./d
3f40 65 73 63 72 69 70 74 69 6f 6e 3d 22 52 69 67 68 74 20 61 72 72 6f 77 20 77 69 74 68 20 61 20 68 escription="Right.arrow.with.a.h
3f60 6f 6f 6b 22 44 00 22 5c 72 69 67 68 74 68 61 72 70 6f 6f 6e 75 70 22 09 2f 64 65 73 63 72 69 70 ook"D."\rightharpoonup"./descrip
3f80 74 69 6f 6e 3d 22 52 69 67 68 74 20 68 61 72 70 6f 6f 6e 20 77 69 74 68 20 68 6f 6f 6b 20 70 6f tion="Right.harpoon.with.hook.po
3fa0 69 6e 74 69 6e 67 20 75 70 22 48 00 22 5c 72 69 67 68 74 68 61 72 70 6f 6f 6e 64 6f 77 6e 22 09 inting.up"H."\rightharpoondown".
3fc0 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 52 69 67 68 74 20 68 61 72 70 6f 6f 6e 20 77 69 74 68 /description="Right.harpoon.with
3fe0 20 68 6f 6f 6b 20 70 6f 69 6e 74 69 6e 67 20 64 6f 77 6e 22 23 00 22 5c 6c 65 61 64 73 74 6f 22 .hook.pointing.down"#."\leadsto"
4000 09 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 4c 65 61 64 73 20 74 6f 22 65 23 00 22 5c 75 70 ../description="Leads.to"e#."\up
4020 61 72 72 6f 77 22 09 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 55 70 20 61 72 72 6f 77 22 65 arrow"../description="Up.arrow"e
4040 28 00 22 5c 55 70 61 72 72 6f 77 22 09 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 57 69 64 65 (."\Uparrow"../description="Wide
4060 20 75 70 20 61 72 72 6f 77 22 27 00 22 5c 64 6f 77 6e 61 72 72 6f 77 22 09 09 2f 64 65 73 63 72 .up.arrow"'."\downarrow"../descr
4080 69 70 74 69 6f 6e 3d 22 44 6f 77 6e 20 61 72 72 6f 77 22 64 2c 00 22 5c 44 6f 77 6e 61 72 72 6f iption="Down.arrow"d,."\Downarro
40a0 77 22 09 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 57 69 64 65 20 64 6f 77 6e 20 61 72 72 6f w"../description="Wide.down.arro
40c0 77 22 2e 00 22 5c 75 70 64 6f 77 6e 61 72 72 6f 77 22 09 09 2f 64 65 73 63 72 69 70 74 69 6f 6e w".."\updownarrow"../description
40e0 3d 22 55 70 20 26 20 64 6f 77 6e 20 61 72 72 6f 77 22 33 00 22 5c 55 70 64 6f 77 6e 61 72 72 6f ="Up.&.down.arrow"3."\Updownarro
4100 77 22 09 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 57 69 64 65 20 75 70 20 26 20 64 6f 77 6e w"../description="Wide.up.&.down
4120 20 61 72 72 6f 77 22 65 2b 00 22 5c 6e 65 61 72 72 6f 77 22 09 09 2f 64 65 73 63 72 69 70 74 69 .arrow"e+."\nearrow"../descripti
4140 6f 6e 3d 22 4e 6f 72 74 68 20 45 61 73 74 20 61 72 72 6f 77 22 70 2b 00 22 5c 73 65 61 72 72 6f on="North.East.arrow"p+."\searro
4160 77 22 09 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 53 6f 75 74 68 20 45 61 73 74 20 61 72 72 w"../description="South.East.arr
4180 6f 77 22 2f 2b 00 22 5c 73 77 61 72 72 6f 77 22 09 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 ow"/+."\swarrow"../description="
41a0 53 6f 75 74 68 20 57 65 73 74 20 61 72 72 6f 77 22 6f 2b 00 22 5c 6e 77 61 72 72 6f 77 22 09 09 South.West.arrow"o+."\nwarrow"..
41c0 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 4e 6f 72 74 68 20 57 65 73 74 20 61 72 72 6f 77 22 72 /description="North.West.arrow"r
41e0 0a 00 65 6e 64 20 64 65 66 69 6e 65 00 00 2e 00 64 65 6c 65 74 65 20 74 6f 6b 65 6e 20 22 61 72 ..end.define....delete.token."ar
4200 72 6f 77 5f 73 79 6d 62 6f 6c 73 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 30 00 row_symbols"./language.=.latex0.
4220 64 65 66 69 6e 65 20 74 6f 6b 65 6e 20 22 61 72 72 6f 77 5f 73 79 6d 62 6f 6c 73 22 20 2f 6c 61 define.token."arrow_symbols"./la
4240 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 20 2d 1b 00 09 2f 70 6c 61 63 65 68 6f 6c 64 65 72 3d nguage.=.latex.-.../placeholder=
4260 61 72 72 6f 77 5f 73 79 6d 62 6f 6c 73 00 00 00 02 00 21 0c 01 00 21 74 17 00 21 20 4d 69 73 63 arrow_symbols.....!...!t..!.Misc
4280 65 6c 6c 61 6e 65 6f 75 73 20 53 79 6d 62 6f 6c 73 74 01 00 21 20 33 00 64 65 6c 65 74 65 20 70 ellaneous.Symbolst..!.3.delete.p
42a0 6c 61 63 65 68 6f 6c 64 65 72 20 22 6d 69 73 63 5f 73 79 6d 62 6f 6c 73 22 20 2f 6c 61 6e 67 75 laceholder."misc_symbols"./langu
42c0 61 67 65 20 3d 20 6c 61 74 65 78 45 35 00 64 65 66 69 6e 65 20 70 6c 61 63 65 68 6f 6c 64 65 72 age.=.latexE5.define.placeholder
42e0 20 22 6d 69 73 63 5f 73 79 6d 62 6f 6c 73 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 ."misc_symbols"./language.=.late
4300 78 20 2d 71 46 00 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 4d 69 73 63 65 6c 6c 61 6e 65 6f x.-qF../description="Miscellaneo
4320 75 73 20 73 79 6d 62 6f 6c 73 2c 20 73 65 65 20 54 61 62 6c 65 20 33 2e 37 20 6f 66 20 4c 61 54 us.symbols,.see.Table.3.7.of.LaT
4340 65 58 20 6d 61 6e 75 61 6c 22 20 2d 0b 00 09 2f 74 79 70 65 3d 6d 65 6e 75 61 00 00 35 00 22 5c eX.manual".-.../type=menua..5."\
4360 61 6c 65 70 68 22 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 53 65 65 20 54 61 62 6c 65 20 33 aleph"./description="See.Table.3
4380 2e 37 20 6f 66 20 4c 61 54 65 58 20 4d 61 6e 75 61 6c 22 00 07 00 22 5c 68 62 61 72 22 74 08 00 .7.of.LaTeX.Manual"..."\hbar"t..
43a0 22 5c 69 6d 61 74 68 22 08 00 22 5c 6a 6d 61 74 68 22 06 00 22 5c 65 6c 6c 22 05 00 22 5c 77 70 "\imath".."\jmath".."\ell".."\wp
43c0 22 41 05 00 22 5c 52 65 22 6d 05 00 22 5c 49 6d 22 74 06 00 22 5c 6d 68 6f 22 08 00 22 5c 70 72 "A.."\Re"m.."\Im"t.."\mho".."\pr
43e0 69 6d 65 22 0b 00 22 5c 65 6d 70 74 79 73 65 74 22 74 08 00 22 5c 6e 61 62 6c 61 22 07 00 22 5c ime".."\emptyset"t.."\nabla".."\
4400 73 75 72 64 22 61 06 00 22 5c 74 6f 70 22 06 00 22 5c 62 6f 74 22 04 00 22 5c 7c 22 08 00 22 5c surd"a.."\top".."\bot".."\|".."\
4420 61 6e 67 6c 65 22 09 00 22 5c 66 6f 72 61 6c 6c 22 65 09 00 22 5c 65 78 69 73 74 73 22 74 06 00 angle".."\forall"e.."\exists"t..
4440 22 5c 6e 65 67 22 07 00 22 5c 66 6c 61 74 22 6e 0a 00 22 5c 6e 61 74 75 72 61 6c 22 08 00 22 5c "\neg".."\flat"n.."\natural".."\
4460 73 68 61 72 70 22 0c 00 22 5c 62 61 63 6b 73 6c 61 73 68 22 0a 00 22 5c 70 61 72 74 69 61 6c 22 sharp".."\backslash".."\partial"
4480 08 00 22 5c 69 6e 66 74 79 22 06 00 22 5c 42 6f 78 22 0a 00 22 5c 44 69 61 6d 6f 6e 64 22 0b 00 .."\infty".."\Box".."\Diamond"..
44a0 22 5c 74 72 69 61 6e 67 6c 65 22 73 0b 00 22 5c 63 6c 75 62 73 75 69 74 22 20 0e 00 22 5c 64 69 "\triangle"s.."\clubsuit"..."\di
44c0 61 6d 6f 6e 64 73 75 69 74 22 0c 00 22 5c 68 65 61 72 74 73 75 69 74 22 0c 00 22 5c 73 70 61 64 amondsuit".."\heartsuit".."\spad
44e0 65 73 75 69 74 22 0a 00 65 6e 64 20 64 65 66 69 6e 65 00 00 2d 00 64 65 6c 65 74 65 20 74 6f 6b esuit"..end.define..-.delete.tok
4500 65 6e 20 22 6d 69 73 63 5f 73 79 6d 62 6f 6c 73 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 en."misc_symbols"./language.=.la
4520 74 65 78 69 2f 00 64 65 66 69 6e 65 20 74 6f 6b 65 6e 20 22 6d 69 73 63 5f 73 79 6d 62 6f 6c 73 texi/.define.token."misc_symbols
4540 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 20 2d 65 1a 00 09 2f 70 6c 61 63 65 68 "./language.=.latex.-e.../placeh
4560 6f 6c 64 65 72 3d 6d 69 73 63 5f 73 79 6d 62 6f 6c 73 00 00 02 00 21 0c 01 00 21 20 18 00 21 20 older=misc_symbols....!...!...!.
4580 56 61 72 69 61 62 6c 65 2d 73 69 7a 65 64 20 53 79 6d 62 6f 6c 73 01 00 21 20 36 00 64 65 6c 65 Variable-sized.Symbols..!.6.dele
45a0 74 65 20 70 6c 61 63 65 68 6f 6c 64 65 72 20 22 76 61 72 73 69 7a 65 5f 73 79 6d 62 6f 6c 73 22 te.placeholder."varsize_symbols"
45c0 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 38 00 64 65 66 69 6e 65 20 70 6c 61 63 65 ./language.=.latex8.define.place
45e0 68 6f 6c 64 65 72 20 22 76 61 72 73 69 7a 65 5f 73 79 6d 62 6f 6c 73 22 20 2f 6c 61 6e 67 75 61 holder."varsize_symbols"./langua
4600 67 65 20 3d 20 6c 61 74 65 78 20 2d 47 00 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 56 61 72 ge.=.latex.-G../description="Var
4620 69 61 62 6c 65 2d 73 69 7a 65 64 20 73 79 6d 62 6f 6c 73 2c 20 73 65 65 20 54 61 62 6c 65 20 33 iable-sized.symbols,.see.Table.3
4640 2e 38 20 6f 66 20 4c 61 54 65 58 20 6d 61 6e 75 61 6c 22 20 2d 65 0b 00 09 2f 74 79 70 65 3d 6d .8.of.LaTeX.manual".-e.../type=m
4660 65 6e 75 6b 00 00 34 00 22 5c 73 75 6d 22 09 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 53 65 enuk..4."\sum"../description="Se
4680 65 20 54 61 62 6c 65 20 33 2e 38 20 6f 66 20 4c 61 54 65 58 20 4d 61 6e 75 61 6c 22 07 00 22 5c e.Table.3.8.of.LaTeX.Manual".."\
46a0 70 72 6f 64 22 73 09 00 22 5c 63 6f 70 72 6f 64 22 20 06 00 22 5c 69 6e 74 22 07 00 22 5c 6f 69 prod"s.."\coprod"..."\int".."\oi
46c0 6e 74 22 5f 09 00 22 5c 62 69 67 63 61 70 22 41 09 00 22 5c 62 69 67 63 75 70 22 73 0b 00 22 5c nt"_.."\bigcap"A.."\bigcup"s.."\
46e0 62 69 67 73 71 63 75 70 22 73 09 00 22 5c 62 69 67 76 65 65 22 6c 0b 00 22 5c 62 69 67 77 65 64 bigsqcup"s.."\bigvee"l.."\bigwed
4700 67 65 22 00 0a 00 22 5c 62 69 67 6f 64 6f 74 22 0c 00 22 5c 62 69 67 6f 74 69 6d 65 73 22 0b 00 ge"..."\bigodot".."\bigotimes"..
4720 22 5c 62 69 67 6f 70 6c 75 73 22 6b 0b 00 22 5c 62 69 67 75 70 6c 75 73 22 6c 0a 00 65 6e 64 20 "\bigoplus"k.."\biguplus"l..end.
4740 64 65 66 69 6e 65 00 00 30 00 64 65 6c 65 74 65 20 74 6f 6b 65 6e 20 22 76 61 72 73 69 7a 65 5f define..0.delete.token."varsize_
4760 73 79 6d 62 6f 6c 73 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 32 00 64 65 66 69 symbols"./language.=.latex2.defi
4780 6e 65 20 74 6f 6b 65 6e 20 22 76 61 72 73 69 7a 65 5f 73 79 6d 62 6f 6c 73 22 20 2f 6c 61 6e 67 ne.token."varsize_symbols"./lang
47a0 75 61 67 65 20 3d 20 6c 61 74 65 78 20 2d 1d 00 09 2f 70 6c 61 63 65 68 6f 6c 64 65 72 3d 76 61 uage.=.latex.-.../placeholder=va
47c0 72 73 69 7a 65 5f 73 79 6d 62 6f 6c 73 73 00 00 02 00 21 0c 01 00 21 6d 14 00 21 20 4c 6f 67 2d rsize_symbolss....!...!m..!.Log-
47e0 6c 69 6b 65 20 46 75 6e 63 74 69 6f 6e 73 01 00 21 74 38 00 64 65 6c 65 74 65 20 70 6c 61 63 65 like.Functions..!t8.delete.place
4800 68 6f 6c 64 65 72 20 22 6c 6f 67 6c 69 6b 65 5f 66 75 6e 63 74 69 6f 6e 73 22 20 2f 6c 61 6e 67 holder."loglike_functions"./lang
4820 75 61 67 65 20 3d 20 6c 61 74 65 78 3a 00 64 65 66 69 6e 65 20 70 6c 61 63 65 68 6f 6c 64 65 72 uage.=.latex:.define.placeholder
4840 20 22 6c 6f 67 6c 69 6b 65 5f 66 75 6e 63 74 69 6f 6e 73 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d ."loglike_functions"./language.=
4860 20 6c 61 74 65 78 20 2d 43 00 09 2f 64 65 73 63 72 69 70 74 69 6f 6e 3d 22 4c 6f 67 2d 6c 69 6b .latex.-C../description="Log-lik
4880 65 20 66 75 6e 63 74 69 6f 6e 73 2c 20 73 65 65 20 54 61 62 6c 65 20 33 2e 39 20 6f 66 20 4c 61 e.functions,.see.Table.3.9.of.La
48a0 54 65 58 20 6d 61 6e 75 61 6c 22 20 2d 4e 0b 00 09 2f 74 79 70 65 3d 6d 65 6e 75 69 00 00 09 00 TeX.manual".-N.../type=menui....
48c0 22 5c 61 72 63 63 6f 73 22 41 09 00 22 5c 61 72 63 73 69 6e 22 73 09 00 22 5c 61 72 63 74 61 6e "\arccos"A.."\arcsin"s.."\arctan
48e0 22 6c 06 00 22 5c 61 72 67 22 06 00 22 5c 63 6f 73 22 07 00 22 5c 63 6f 73 68 22 69 06 00 22 5c "l.."\arg".."\cos".."\cosh"i.."\
4900 63 6f 74 22 07 00 22 5c 63 6f 74 68 22 65 06 00 22 5c 63 73 63 22 06 00 22 5c 64 65 67 22 06 00 cot".."\coth"e.."\csc".."\deg"..
4920 22 5c 64 65 74 22 06 00 22 5c 64 69 6d 22 06 00 22 5c 65 78 70 22 06 00 22 5c 67 63 64 22 06 00 "\det".."\dim".."\exp".."\gcd"..
4940 22 5c 68 6f 6d 22 06 00 22 5c 69 6e 66 22 06 00 22 5c 6b 65 72 22 05 00 22 5c 6c 67 22 65 06 00 "\hom".."\inf".."\ker".."\lg"e..
4960 22 5c 6c 69 6d 22 09 00 22 5c 6c 69 6d 69 6e 66 22 20 09 00 22 5c 6c 69 6d 73 75 70 22 20 05 00 "\lim".."\liminf"..."\limsup"...
4980 22 5c 6c 6e 22 00 06 00 22 5c 6c 6f 67 22 06 00 22 5c 6d 61 78 22 06 00 22 5c 6d 69 6e 22 05 00 "\ln"..."\log".."\max".."\min"..
49a0 22 5c 50 72 22 72 06 00 22 5c 73 65 63 22 06 00 22 5c 73 69 6e 22 07 00 22 5c 73 69 6e 68 22 5f "\Pr"r.."\sec".."\sin".."\sinh"_
49c0 06 00 22 5c 73 75 70 22 06 00 22 5c 74 61 6e 22 07 00 22 5c 74 61 6e 68 22 4d 0a 00 65 6e 64 20 .."\sup".."\tan".."\tanh"M..end.
49e0 64 65 66 69 6e 65 00 00 32 00 64 65 6c 65 74 65 20 74 6f 6b 65 6e 20 22 6c 6f 67 6c 69 6b 65 5f define..2.delete.token."loglike_
4a00 66 75 6e 63 74 69 6f 6e 73 22 20 2f 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 34 00 64 65 functions"./language.=.latex4.de
4a20 66 69 6e 65 20 74 6f 6b 65 6e 20 22 6c 6f 67 6c 69 6b 65 5f 66 75 6e 63 74 69 6f 6e 73 22 20 2f fine.token."loglike_functions"./
4a40 6c 61 6e 67 75 61 67 65 20 3d 20 6c 61 74 65 78 20 2d 1f 00 09 2f 70 6c 61 63 65 68 6f 6c 64 65 language.=.latex.-.../placeholde
4a60 72 3d 6c 6f 67 6c 69 6b 65 5f 66 75 6e 63 74 69 6f 6e 73 61 00 00 r=loglike_functionsa..