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 ---