htfcss: cmmi font-style: italic;
htfcss: cmmib font-style: italic; font-weight: bold;
htfcss: cmbx font-weight: bold;
htfcss: cmbxsl font-weight: bold; font-style: oblique;
htfcss: cmbx font-weight: bold;
htfcss: cmbxsl font-weight: bold; font-style: oblique;
htfcss: cmti font-style: italic;
htfcss: cmtt font-family: monospace;
File: tutorial.html
File: tutorial.css
File: tutorial.tmp
Font_Class(1,"1"):
File: tutorial.tmp
Font_Class(3,"3"):
File: tutorial.tmp
Font_Class(6,"6"):
File: tutorial.tmp
File: tutorial2.html
File: tutorial.tmp
File: tutorial.tmp
File: tutorial.tmp
File: tutorial.tmp
File: tutorial.tmp
File: tutorial.tmp
File: tutorial.tmp
File: tutorial.tmp
File: tutorial.tmp
File: tutorial.tmp
File: tutorial.tmp
File: tutorial.tmp
File: tutorial.tmp
File: tutorial.tmp
File: tutorial.tmp
File: tutorial.tmp
File: tutorial3.html
Font_Class(12,"12"):
File: tutorial4.html
File: tutorial.tmp
File: tutorial.tmp
File: tutorial.tmp
File: tutorial.tmp
File: tutorial.tmp
File: tutorial.tmp
File: tutorial.tmp
File: tutorial.tmp
File: tutorial.tmp
Css: p.noindent { text-indent: 0em }
Css: p.nopar { text-indent: 0em; }
Css: p.indent{ text-indent: 1.5em }
Css: a img { border-top: 0; border-left: 0; border-right: 0; }
Font_Css("4"): .small-caps{font-variant: small-caps; }
Font_Css("10"): .htf-cmbx {font-weight: bold; font-style:normal;}
Font_Css("12"): .htf-calligraphy {font-family:cursive}
Font_Css("14"): .htf-italic {font-style: italic;}
Font_Css("16"): .htf-bold {font-weight: bold;}
Font_Css("12"): .htf-calligraphy-bold {font-family:cursive font-weight: bold; }
Css: center { margin-top:1em; margin-bottom:1em; }
Css: td center { margin-top:0em; margin-bottom:0em; }
Css: .Canvas { position:relative; }
Css: img.math{vertical-align:middle;}
Css: li p.indent { text-indent: 0em }
Css: span.footnotetext{ font-size:80%; font-style:italic; }
Css: .obeylines-h,.obeylines-v {white-space: nowrap; }
Css: .overline{ text-decoration:overline; }
Css: .overline img{ border-top: 1px solid black; }
Css: td.displaylines {text-align:center; white-space:nowrap;}
Css: div.centerline {text-align:center;}
Css: div.rightline {text-align:right;}
Css: div.verbatim {font-family: monospace; white-space: nowrap; }
Css: span.fbox {padding-left:3.0pt; padding-right:3.0pt; text-indent:0pt; border:solid black 0.4pt; }
Css: div.center, div.center div.center {text-align: center; margin-left:1em; margin-right:1em; margin-top:0.5em; margin-bottom:0.5em;}
Css: div.center div {text-align: left;}
Css: div.flushright, div.flushright div.flushright {text-align: right;}
Css: div.flushright div {text-align: left;}
Css: div.flushleft {text-align: left;}
Css: .underline{ text-decoration:underline; }
Css: .underline img{ border-bottom: 1px solid black; margin-bottom:1pt; }
Css: .framebox-c, .framebox-l, .framebox-r { padding-left:3.0pt; padding-right:3.0pt; text-indent:0pt; border:solid black 0.4pt; }
Css: .framebox-c {text-align:center;}
Css: .framebox-l {text-align:left;}
Css: .framebox-r {text-align:right;}
Css: div.array {text-align:center;}
Css: div.tabular, div.center div.tabular {text-align: center; margin-top:0.5em; margin-bottom:0.5em;}
Css: table.tabular td p{margin-top:0em;}
Css: div.td00{ margin-left:0pt; margin-right:0pt; }
Css: div.td01{ margin-left:0pt; margin-right:5pt; }
Css: div.td10{ margin-left:5pt; margin-right:0pt; }
Css: div.td11{ margin-left:5pt; margin-right:5pt; }
Css: td.td00{ padding-left:0pt; padding-right:0pt; }
Css: td.td01{ padding-left:0pt; padding-right:5pt; }
Css: td.td10{ padding-left:5pt; padding-right:0pt; }
Css: td.td11{ padding-left:5pt; padding-right:5pt; }
Css: .hline hr, .cline hr{ height : 1px; }
Css: .tabbing-right {text-align:right;}
Css: div.newtheorem { margin-bottom: 2em; margin-top: 2em;}
Css: span.TEX {letter-spacing: -0.125em; }
Css: span.TEX span.E{ position:relative;top:0.5ex;left:-0.0417em;}
Css: a span.TEX span.E {text-decoration: none; }
Css: span.LATEX span.A{ position:relative; top:-0.5ex; left:-0.4em; font-size:85%;}
Css: span.LATEX span.TEX{ position:relative; left: -0.4em; }
Css: .marginpar {width:20%; float:right; text-align:left; margin-left:auto; margin-top:0.5em; font-size:85%; text-decoration:underline;}
Css: .marginpar p{margin-top:0.4em; margin-bottom:0.4em;}
Css: div.float {text-align:center;}
Css: div.figure {text-align:center;}
Css: .equation td{text-align:center; }
Css: td.equation { margin-top:1em; margin-bottom:1em; }
Css: td.eqnarray4 { width:5%; white-space: normal; }
Css: td.eqnarray2 { width:5%; }
Css: table.eqnarray-star, table.eqnarray {width:100%;}
Css: div.eqnarray{text-align:center;}
Css: div.pmatrix {text-align:center;}
Css: span.pmatrix img{vertical-align:middle;}
Css: div.pmatrix {text-align:center;}
Css: img.cdots{vertical-align:middle;}
Css: .partToc a, .partToc, .likepartToc a, .likepartToc {line-height: 200%; font-weight:bold; font-size:110%;}
Css: .caption td.id{font-weight: bold; white-space: nowrap; }
Css: table.caption {text-align:center;}
Css: h1.partHead{text-align: center}
Css: p.bibitem { text-indent: -2em; margin-left: 2em; margin-top:0.6em; margin-bottom:0.6em; }
Css: p.bibitem-p { text-indent: 0em; margin-left: 2em; margin-top:0.6em; margin-bottom:0.6em; }
Css: .paragraphHead, .likeparagraphHead { margin-top:2em; font-weight: bold;}
Css: .subparagraphHead, .likesubparagraphHead { font-weight: bold;}
Css: .quote {margin-bottom:0.25em; margin-top:0.25em; margin-left:1em; }
Css: .verse{white-space:nowrap; margin-left:2em}
Css: div.maketitle {text-align:center;}
Css: h2.titleHead{text-align:center;}
Css: div.maketitle{ margin-bottom: 2em; }
Css: div.author, div.date {text-align:center;}
Css: div.thanks{text-align:left; margin-left:10%; font-size:80%; font-style:italic; }
Css: div.author{white-space: nowrap;}
Font_Size: 12
Css: .quotation {margin-bottom:0.25em; margin-top:0.25em; margin-left:1em; }
Css: .abstract p {margin-left:5%; margin-right:5%;}
Css: .figure img.graphics {margin-left:10%;}
Css: .equation td{text-align:center; }
Css: table.align, table.alignat, table.xalignat, table.xxalignat, table.flalign, table.align-star, table.alignat-star, table.xalignat-star, table.flalign-star {width:100%; white-space: nowrap;}
Css: td.align-label { width:5%; }
Css: td.align-odd { text-align:right; padding-right:0.3em;}
Css: td.align-even { text-align:left; padding-right:0.6em;}
Css: td.gather-star, td.gather1 {text-align:center; }
--- needs --- tutorial.idv[1] ==> tutorial0x.gif ---
--- needs --- tutorial.idv[2] ==> tutorial1x.gif ---
--- needs --- tutorial.idv[3] ==> tutorial2x.gif ---
--- needs --- tutorial.idv[4] ==> tutorial3x.gif ---
--- needs --- tutorial.idv[5] ==> tutorial4x.gif ---
--- needs --- tutorial.idv[6] ==> tutorial5x.gif ---
--- needs --- tutorial.idv[7] ==> tutorial6x.gif ---
--- needs --- tutorial.idv[8] ==> tutorial7x.gif ---
--- needs --- tutorial.idv[9] ==> tutorial8x.gif ---
--- needs --- tutorial.idv[10] ==> tutorial9x.gif ---
--- needs --- tutorial.idv[11] ==> tutorial10x.gif ---
--- needs --- tutorial.idv[12] ==> tutorial11x.gif ---
--- needs --- tutorial.idv[13] ==> tutorial12x.gif ---
--- needs --- tutorial.idv[14] ==> tutorial13x.gif ---
--- needs --- tutorial.idv[15] ==> tutorial14x.gif ---
--- needs --- tutorial.idv[16] ==> tutorial15x.gif ---
--- needs --- tutorial.idv[17] ==> tutorial16x.gif ---
--- needs --- tutorial.idv[18] ==> tutorial17x.gif ---
--- needs --- tutorial.idv[19] ==> tutorial18x.gif ---
--- needs --- tutorial.idv[20] ==> tutorial19x.gif ---
--- needs --- tutorial.idv[21] ==> tutorial20x.gif ---
--- needs --- tutorial.idv[22] ==> tutorial21x.gif ---
--- needs --- tutorial.idv[23] ==> tutorial22x.gif ---
--- needs --- tutorial.idv[24] ==> tutorial23x.gif ---
--- needs --- tutorial.idv[25] ==> tutorial24x.gif ---
--- needs --- tutorial.idv[26] ==> tutorial25x.gif ---
--- needs --- tutorial.idv[27] ==> tutorial26x.gif ---
--- needs --- tutorial.idv[28] ==> tutorial27x.gif ---
--- needs --- tutorial.idv[29] ==> tutorial28x.gif ---
--- needs --- tutorial.idv[30] ==> tutorial29x.gif ---
--- needs --- tutorial.idv[31] ==> tutorial30x.gif ---
--- needs --- tutorial.idv[32] ==> tutorial31x.gif ---
--- needs --- tutorial.idv[33] ==> tutorial32x.gif ---
--- needs --- tutorial.idv[34] ==> tutorial33x.gif ---
--- needs --- tutorial.idv[35] ==> tutorial34x.gif ---
--- needs --- tutorial.idv[36] ==> tutorial35x.gif ---
--- needs --- tutorial.idv[37] ==> tutorial36x.gif ---
--- needs --- tutorial.idv[38] ==> tutorial37x.gif ---
--- needs --- tutorial.idv[39] ==> tutorial38x.gif ---
--- needs --- tutorial.idv[40] ==> tutorial39x.gif ---
--- needs --- tutorial.idv[41] ==> tutorial40x.gif ---
--- needs --- tutorial.idv[42] ==> tutorial41x.gif ---
--- needs --- tutorial.idv[43] ==> tutorial42x.gif ---
--- needs --- tutorial.idv[44] ==> tutorial43x.gif ---
--- needs --- tutorial.idv[45] ==> tutorial44x.gif ---
--- needs --- tutorial.idv[46] ==> tutorial45x.gif ---
--- needs --- tutorial.idv[47] ==> tutorial46x.gif ---
--- needs --- tutorial.idv[48] ==> tutorial47x.gif ---
--- needs --- tutorial.idv[49] ==> tutorial48x.gif ---
--- needs --- tutorial.idv[50] ==> tutorial49x.gif ---
--- needs --- tutorial.idv[51] ==> tutorial50x.gif ---
--- needs --- tutorial.idv[52] ==> tutorial51x.gif ---
--- needs --- tutorial.idv[53] ==> tutorial52x.gif ---
--- needs --- tutorial.idv[54] ==> tutorial53x.gif ---
--- needs --- tutorial.idv[55] ==> tutorial54x.gif ---
--- needs --- tutorial.idv[56] ==> tutorial55x.gif ---
--- needs --- tutorial.idv[57] ==> tutorial56x.gif ---
--- needs --- tutorial.idv[58] ==> tutorial57x.gif ---
--- needs --- tutorial.idv[59] ==> tutorial58x.gif ---
--- needs --- tutorial.idv[60] ==> tutorial59x.gif ---
--- needs --- tutorial.idv[61] ==> tutorial60x.gif ---
--- needs --- tutorial.idv[62] ==> tutorial61x.gif ---
--- needs --- tutorial.idv[63] ==> tutorial62x.gif ---
--- needs --- tutorial.idv[64] ==> tutorial63x.gif ---
--- needs --- tutorial.idv[65] ==> tutorial64x.gif ---
--- needs --- tutorial.idv[66] ==> tutorial65x.gif ---
--- needs --- tutorial.idv[67] ==> tutorial66x.gif ---
--- needs --- tutorial.idv[68] ==> tutorial67x.gif ---
--- needs --- tutorial.idv[69] ==> tutorial68x.gif ---
--- needs --- tutorial.idv[70] ==> tutorial69x.gif ---
--- needs --- tutorial.idv[71] ==> tutorial70x.gif ---
--- needs --- tutorial.idv[72] ==> tutorial71x.gif ---
--- needs --- tutorial.idv[73] ==> tutorial72x.gif ---
--- needs --- tutorial.idv[74] ==> tutorial73x.gif ---
--- needs --- tutorial.idv[75] ==> tutorial74x.gif ---
--- needs --- tutorial.idv[76] ==> tutorial75x.gif ---
--- needs --- tutorial.idv[77] ==> tutorial76x.gif ---
--- needs --- tutorial.idv[78] ==> tutorial77x.gif ---
--- needs --- tutorial.idv[79] ==> tutorial78x.gif ---
--- needs --- tutorial.idv[80] ==> tutorial79x.gif ---
--- needs --- tutorial.idv[81] ==> tutorial80x.gif ---
--- needs --- tutorial.idv[82] ==> tutorial81x.gif ---
--- needs --- tutorial.idv[83] ==> tutorial82x.gif ---
--- needs --- tutorial.idv[84] ==> tutorial83x.gif ---
--- needs --- tutorial.idv[85] ==> tutorial84x.gif ---
--- needs --- tutorial.idv[86] ==> tutorial85x.gif ---
--- needs --- tutorial.idv[87] ==> tutorial86x.gif ---
--- needs --- tutorial.idv[88] ==> tutorial87x.gif ---
--- needs --- tutorial.idv[89] ==> tutorial88x.gif ---
--- needs --- tutorial.idv[90] ==> tutorial89x.gif ---
--- needs --- tutorial.idv[91] ==> tutorial90x.gif ---
--- needs --- tutorial.idv[92] ==> tutorial91x.gif ---
--- needs --- tutorial.idv[93] ==> tutorial92x.gif ---
--- needs --- tutorial.idv[94] ==> tutorial93x.gif ---
--- needs --- tutorial.idv[95] ==> tutorial94x.gif ---
--- needs --- tutorial.idv[96] ==> tutorial95x.gif ---
--- needs --- tutorial.idv[97] ==> tutorial96x.gif ---
--- needs --- tutorial.idv[98] ==> tutorial97x.gif ---
--- needs --- tutorial.idv[99] ==> tutorial98x.gif ---
--- needs --- tutorial.idv[100] ==> tutorial99x.gif ---
--- needs --- tutorial.idv[101] ==> tutorial100x.gif ---
--- needs --- tutorial.idv[102] ==> tutorial101x.gif ---
--- needs --- tutorial.idv[103] ==> tutorial102x.gif ---
--- needs --- tutorial.idv[104] ==> tutorial103x.gif ---
--- needs --- tutorial.idv[105] ==> tutorial104x.gif ---
--- needs --- tutorial.idv[106] ==> tutorial105x.gif ---
--- needs --- tutorial.idv[107] ==> tutorial106x.gif ---
--- needs --- tutorial.idv[108] ==> tutorial107x.gif ---
--- needs --- tutorial.idv[109] ==> tutorial108x.gif ---
--- needs --- tutorial.idv[110] ==> tutorial109x.gif ---
--- needs --- tutorial.idv[111] ==> tutorial110x.gif ---
--- needs --- tutorial.idv[112] ==> tutorial111x.gif ---
--- needs --- tutorial.idv[113] ==> tutorial112x.gif ---
--- needs --- tutorial.idv[114] ==> tutorial113x.gif ---
--- needs --- tutorial.idv[115] ==> tutorial114x.gif ---
--- needs --- tutorial.idv[116] ==> tutorial115x.gif ---
--- needs --- tutorial.idv[117] ==> tutorial116x.gif ---
--- needs --- tutorial.idv[118] ==> tutorial117x.gif ---
--- needs --- tutorial.idv[119] ==> tutorial118x.gif ---
--- needs --- tutorial.idv[120] ==> tutorial119x.gif ---
--- needs --- tutorial.idv[121] ==> tutorial120x.gif ---
--- needs --- tutorial.idv[122] ==> tutorial121x.gif ---
--- needs --- tutorial.idv[123] ==> tutorial122x.gif ---
--- needs --- tutorial.idv[124] ==> tutorial123x.gif ---
--- needs --- tutorial.idv[125] ==> tutorial124x.gif ---
--- needs --- tutorial.idv[126] ==> tutorial125x.gif ---
--- needs --- tutorial.idv[127] ==> tutorial126x.gif ---
--- needs --- tutorial.idv[128] ==> tutorial127x.gif ---
--- needs --- tutorial.idv[129] ==> tutorial128x.gif ---
--- needs --- tutorial.idv[130] ==> tutorial129x.gif ---
--- needs --- tutorial.idv[131] ==> tutorial130x.gif ---
--- needs --- tutorial.idv[132] ==> tutorial131x.gif ---
--- needs --- tutorial.idv[133] ==> tutorial132x.gif ---
--- needs --- tutorial.idv[134] ==> tutorial133x.gif ---
--- needs --- tutorial.idv[135] ==> tutorial134x.gif ---
--- needs --- tutorial.idv[136] ==> tutorial135x.gif ---
--- needs --- tutorial.idv[137] ==> tutorial136x.gif ---
--- needs --- tutorial.idv[138] ==> tutorial137x.gif ---
--- needs --- tutorial.idv[139] ==> tutorial138x.gif ---
--- needs --- tutorial.idv[140] ==> tutorial139x.gif ---
--- needs --- tutorial.idv[141] ==> tutorial140x.gif ---
--- needs --- tutorial.idv[142] ==> tutorial141x.gif ---
--- needs --- tutorial.idv[143] ==> tutorial142x.gif ---
--- needs --- tutorial.idv[144] ==> tutorial143x.gif ---
--- needs --- tutorial.idv[145] ==> tutorial144x.gif ---
--- needs --- tutorial.idv[146] ==> tutorial145x.gif ---
--- needs --- tutorial.idv[147] ==> tutorial146x.gif ---
--- needs --- tutorial.idv[148] ==> tutorial147x.gif ---
--- needs --- tutorial.idv[149] ==> tutorial148x.gif ---
--- needs --- tutorial.idv[150] ==> tutorial149x.gif ---
--- needs --- tutorial.idv[151] ==> tutorial150x.gif ---
--- needs --- tutorial.idv[152] ==> tutorial151x.gif ---
--- needs --- tutorial.idv[153] ==> tutorial152x.gif ---
--- needs --- tutorial.idv[154] ==> tutorial153x.gif ---
--- needs --- tutorial.idv[155] ==> tutorial154x.gif ---
--- needs --- tutorial.idv[156] ==> tutorial155x.gif ---
--- needs --- tutorial.idv[157] ==> tutorial156x.gif ---
--- needs --- tutorial.idv[158] ==> tutorial157x.gif ---
--- needs --- tutorial.idv[159] ==> tutorial158x.gif ---
--- needs --- tutorial.idv[160] ==> tutorial159x.gif ---
--- needs --- tutorial.idv[161] ==> tutorial160x.gif ---
--- needs --- tutorial.idv[162] ==> tutorial161x.gif ---
--- needs --- tutorial.idv[163] ==> tutorial162x.gif ---
--- needs --- tutorial.idv[164] ==> tutorial163x.gif ---
--- needs --- tutorial.idv[165] ==> tutorial164x.gif ---
--- needs --- tutorial.idv[166] ==> tutorial165x.gif ---
--- needs --- tutorial.idv[167] ==> tutorial166x.gif ---
--- needs --- tutorial.idv[168] ==> tutorial167x.gif ---
--- needs --- tutorial.idv[169] ==> tutorial168x.gif ---
--- needs --- tutorial.idv[170] ==> tutorial169x.gif ---
--- needs --- tutorial.idv[171] ==> tutorial170x.gif ---
--- needs --- tutorial.idv[172] ==> tutorial171x.gif ---
--- needs --- tutorial.idv[173] ==> tutorial172x.gif ---
--- needs --- tutorial.idv[174] ==> tutorial173x.gif ---
--- needs --- tutorial.idv[175] ==> tutorial174x.gif ---
--- needs --- tutorial.idv[176] ==> tutorial175x.gif ---
--- needs --- tutorial.idv[177] ==> tutorial176x.gif ---
--- needs --- tutorial.idv[178] ==> tutorial177x.gif ---
--- needs --- tutorial.idv[179] ==> tutorial178x.gif ---
--- needs --- tutorial.idv[180] ==> tutorial179x.gif ---
--- needs --- tutorial.idv[181] ==> tutorial180x.gif ---
--- needs --- tutorial.idv[182] ==> tutorial181x.gif ---
--- needs --- tutorial.idv[183] ==> tutorial182x.gif ---
--- needs --- tutorial.idv[184] ==> tutorial183x.gif ---
--- needs --- tutorial.idv[185] ==> tutorial184x.gif ---
--- needs --- tutorial.idv[186] ==> tutorial185x.gif ---
--- needs --- tutorial.idv[187] ==> tutorial186x.gif ---
--- needs --- tutorial.idv[188] ==> tutorial187x.gif ---
--- needs --- tutorial.idv[189] ==> tutorial188x.gif ---
--- needs --- tutorial.idv[190] ==> tutorial189x.gif ---
--- needs --- tutorial.idv[191] ==> tutorial190x.gif ---
--- needs --- tutorial.idv[192] ==> tutorial191x.gif ---
--- needs --- tutorial.idv[193] ==> tutorial192x.gif ---
--- needs --- tutorial.idv[194] ==> tutorial193x.gif ---
--- needs --- tutorial.idv[195] ==> tutorial194x.gif ---
--- needs --- tutorial.idv[196] ==> tutorial195x.gif ---
--- needs --- tutorial.idv[197] ==> tutorial196x.gif ---
--- needs --- tutorial.idv[198] ==> tutorial197x.gif ---
--- needs --- tutorial.idv[199] ==> tutorial198x.gif ---
--- needs --- tutorial.idv[200] ==> tutorial199x.gif ---
--- needs --- tutorial.idv[201] ==> tutorial200x.gif ---
--- needs --- tutorial.idv[202] ==> tutorial201x.gif ---
--- needs --- tutorial.idv[203] ==> tutorial202x.gif ---
--- needs --- tutorial.idv[204] ==> tutorial203x.gif ---
--- needs --- tutorial.idv[205] ==> tutorial204x.gif ---
--- needs --- tutorial.idv[206] ==> tutorial205x.gif ---
--- needs --- tutorial.idv[207] ==> tutorial206x.gif ---
--- needs --- tutorial.idv[208] ==> tutorial207x.gif ---
--- needs --- tutorial.idv[209] ==> tutorial208x.gif ---
--- needs --- tutorial.idv[210] ==> tutorial209x.gif ---
--- needs --- tutorial.idv[211] ==> tutorial210x.gif ---
--- needs --- tutorial.idv[212] ==> tutorial211x.gif ---
--- needs --- tutorial.idv[213] ==> tutorial212x.gif ---
--- needs --- tutorial.idv[214] ==> tutorial213x.gif ---
--- needs --- tutorial.idv[215] ==> tutorial214x.gif ---
--- needs --- tutorial.idv[216] ==> tutorial215x.gif ---
--- needs --- tutorial.idv[217] ==> tutorial216x.gif ---
--- needs --- tutorial.idv[218] ==> tutorial217x.gif ---
--- characters ---
Font("cmr","12","12","100")
--- needs --- tutorial.idv[219] ==> cmr12-5.gif ---
Font("cmr","17","17","120")
Font("cmr","12","12","120")
Font("cmsy","10","10","144")
Font("cmtt","12","12","120")
Font("cmr","8","8","100")
--- needs --- tutorial.idv[220] ==> cmr8-5.gif ---
Font("cmr","6","6","100")
Font("cmmi","12","12","100")
--- needs --- tutorial.idv[221] ==> cmmi12-1b.gif ---
--- needs --- tutorial.idv[222] ==> cmmi12-1a.gif ---
--- needs --- tutorial.idv[223] ==> cmmi12-19.gif ---
--- needs --- tutorial.idv[224] ==> cmmi12-16.gif ---
--- needs --- tutorial.idv[225] ==> cmmi12-15.gif ---
--- needs --- tutorial.idv[226] ==> cmmi12-12.gif ---
--- needs --- tutorial.idv[227] ==> cmmi12-10.gif ---
--- needs --- tutorial.idv[228] ==> cmmi12-f.gif ---
--- needs --- tutorial.idv[229] ==> cmmi12-d.gif ---
Font("cmmi","8","8","100")
--- needs --- tutorial.idv[230] ==> cmmi8-60.gif ---
Font("cmmi","6","6","100")
Font("cmsy","10","10","120")
--- needs --- tutorial.idv[231] ==> cmsy10-c-32.gif ---
--- needs --- tutorial.idv[232] ==> cmsy10-c-31.gif ---
--- needs --- tutorial.idv[233] ==> cmsy10-c-27.gif ---
--- needs --- tutorial.idv[234] ==> cmsy10-c-24.gif ---
--- needs --- tutorial.idv[235] ==> cmsy10-c-21.gif ---
--- needs --- tutorial.idv[236] ==> cmsy10-c-20.gif ---
--- needs --- tutorial.idv[237] ==> cmsy10-c-a.gif ---
Font("cmsy","8","8","100")
--- needs --- tutorial.idv[238] ==> cmsy8-31.gif ---
Font("cmex","10","10","120")
Font("msam","10","10","120")
Font("msbm","10","10","120")
--- needs --- tutorial.idv[239] ==> msbm10-c-58.gif ---
--- needs --- tutorial.idv[240] ==> msbm10-c-52.gif ---
--- needs --- tutorial.idv[241] ==> msbm10-c-50.gif ---
Font("cmti","12","12","100")
Font("cmbx","12","12","100")
--- needs --- tutorial.idv[242] ==> cmbx12-a.gif ---
Font("cmbx","8","8","100")
Font("cmmib","10","10","120")
--- needs --- tutorial.idv[243] ==> cmmib10-c-21.gif ---