ofs | hex dump | ascii |
---|
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.. |