1@Section 2 @Title { Summary } 3@Begin 4@PP 5This section is a complete list of the symbols provided by 6{@Code "@Eq"}. We divide them into auxiliary, parameterized, short names 7(further divided into relations, binary operators, and punctuation), 8and full names. The auxiliary symbols are: 9@ID @Tab 10 vmargin { 0.5vx } 11 @Fmta { @Col A ! @Col B } 12{ 13@Rowa 14 A { @Code "`" } 15 B { Thin space } 16@Rowa 17 A { @Code "``" } 18 B { Medium space } 19@Rowa 20 A { @Code "```" } 21 B { Thick space } 22@Rowa 23 A { @Code "bin x" } 24 B { Treat @Code x as a binary operator } 25@Rowa 26 A { @Code "rel x" } 27 B { Treat @Code x as a relation } 28@Rowa 29 A { @Code "punct x" } 30 B { Treat @Code x as a punctuation symbol } 31@Rowa 32 A { @Code "non x" } 33 B { Remove spaces normally put into @Code x } 34@Rowa 35 A { @Code "vctr x" } 36 B { Centre @Code x vertically 37equations. @RawIndex { equations } 38equations.vctr @SubIndex { @Code "vctr" symbol } 39vctr.equations @Index { @Code "vctr" symbol (equations) } 40} 41@Rowa 42 A { @Code "big x" } 43 B { Make @Code x larger } 44@Rowa 45 A { @Code "small x" } 46 B { Make @Code x smaller } 47} 48Here are all the parameterized symbols, shown in groups of equal 49precedence, with the precedence itself at right: 50@ID @OneRow lines @Break { 51@Code "matrix pmatrix bmatrix brmatrix fmatrix cmatrix amatrix not" (100) 52@Code "dot dotdot hat tilde vec dyad overbar underbar" (62) 53@Code "sup sub tsub supp" (60) @Code "on ton" (61) 54@Code "from to widefrom wideto" (58) 55@Code "sqrt root" (56) 56@Code "over frac" (54) 57@Code "col lcol ccol rcol mcol" (52) 58@Code "row axisrow" (50) 59# @Code "above labove cabove rabove mabove" (52) 60# @Code "nextcol" (50) 61} 62See Section {@NumberOf symbols} for examples of matrices. Here are some 63examples of the other symbols: 64@IL 65 66@LI { 67@Code "x dot" 68|7ct 69@Eq { x dot } 70equations. @RawIndex { equations } 71equations.dot @SubIndex { @Code "dot" symbol } 72dot.equations @Index { @Code "dot" symbol (equations) } 73} 74 75@LI { 76@Code "x dotdot" 77|7ct 78@Eq { x dotdot } 79equations. @RawIndex { equations } 80equations.dotdot @SubIndex { @Code "dotdot" symbol } 81dotdot.equations @Index { @Code "dotdot" symbol (equations) } 82} 83 84@LI { 85@Code "x hat" 86|7ct 87@Eq { x hat } 88equations. @RawIndex { equations } 89equations.hat @SubIndex { @Code "hat" symbol } 90hat.equations @Index { @Code "hat" symbol (equations) } 91} 92 93@LI { 94@Code "x tilde" 95|7ct 96@Eq { x tilde } 97equations. @RawIndex { equations } 98equations.tilde @SubIndex { @Code "tilde" symbol } 99tilde.equations @Index { @Code "tilde" symbol (equations) } 100} 101 102@LI { 103@Code "x vec" 104|7ct 105@Eq { x vec } 106equations. @RawIndex { equations } 107equations.vec @SubIndex { @Code "vec" symbol } 108vec.equations @Index { @Code "vec" symbol (equations) } 109} 110 111@LI { 112@Code "x dyad" 113|7ct 114@Eq { x dyad } 115equations. @RawIndex { equations } 116equations.dyad @SubIndex { @Code "dyad" symbol } 117dyad.equations @Index { @Code "dyad" symbol (equations) } 118} 119 120@LI { 121@Code "x+y overbar" 122|7ct 123@Eq { x+y overbar } 124equations. @RawIndex { equations } 125equations.overbar @SubIndex { @Code "overbar" symbol } 126overbar.equations @Index { @Code "overbar" symbol (equations) } 127} 128 129@LI { 130@Code "x+y underbar" 131|7ct 132@Eq { x+y underbar } 133equations. @RawIndex { equations } 134equations.underbar @SubIndex { @Code "underbar" symbol } 135underbar.equations @Index { @Code "underbar" symbol (equations) } 136} 137 138@EL 139These marks are centred over the preceding object, except the last two 140which are extended to the width of the object. 141@IL 142 143@LI { 144@Code "a sup b" 145|7ct 146@Eq {a sup b} 147} 148 149@LI { 150@Code "a sub b" 151|7ct 152@Eq {a sub b} 153} 154 155@LI { 156@Code "W tsub b" 157|7ct 158@Eq {W tsub b} 159} 160 161@LI { 162@Code "a supp b on c" 163|7ct 164@Eq {a supp b on c} 165} 166 167@LI { 168@Code "W supp b ton c" 169|7ct 170@Eq {W supp b ton c} 171} 172 173@EL 174Note that @Code "supp" and @Code "on" (or {@Code "ton"}) must be used 175together as shown; @Code "tsub" and @Code "ton" are exactly like 176@Code "sub" and @Code "on" except that the subscript is tucked in. 177@IL 178 179@LI { 180@Code "big sum from i" 181|7ct 182@Eq {big sum from i} 183} 184 185@LI { 186@Code "big prod to j" 187|7ct 188@Eq {big prod to j} 189} 190 191@LI { 192@Code { "{a, ... , z} widefrom" 193"{90d @Rotate blbrace}" } 194|7ct 195@Eq { {a, ... , z} widefrom {90d @Rotate blbrace} } 196equations. @RawIndex { equations } 197equations.widefrom @SubIndex { @Code "widefrom" symbol } 198widezzzfrom.equations @Index { @Code "widefrom" symbol (equations) } 199} 200 201@LI { 202@Code "{a, ... , z} wideto minus" 203|7ct 204@Eq { {a, ... , z} wideto minus } 205equations. @RawIndex { equations } 206equations.wideto @SubIndex { @Code "wideto" symbol } 207widezzzto.equations @Index { @Code "wideto" symbol (equations) } 208} 209 210@EL 211@Code "widefrom" and @Code "wideto" are like @Code "from" and 212@Code "to" except that they horizontally scale the right parameter 213to the width of the left. 214@IL 215 216@LI { 217@Code "sqrt {x over y}" 218|7ct 219@Eq { sqrt {x over y} } 220equations. @RawIndex { equations } 221equations.sqrt @SubIndex { @Code "sqrt" symbol } 222sqrt.equations @Index { @Code "sqrt" symbol (equations) } 223} 224 225@LI { 226@Code "3 root {x over y}" 227|7ct 228@Eq { 3 root {x over y} } 229equations. @RawIndex { equations } 230equations.root @SubIndex { @Code "root" symbol } 231root.equations @Index { @Code "root" symbol (equations) } 232} 233 234@EL 235The left parameter of @Code "root" may be any object. Here are 236four ways to denote division: 237@IL 238 239@LI { 240@Code "2 over 3" 241|7ct 242@Eq { 2 over 3 } 243equations. @RawIndex { equations } 244equations.over @SubIndex { @Code "over" symbol } 245over.equations @Index { @Code "over" symbol (equations) } 246} 247 248@LI { 249@Code "2 frac 3" 250|7ct 251@Eq { 2 frac 3 } 252equations. @RawIndex { equations } 253equations.frac @SubIndex { @Code "frac" symbol } 254frac.equations @Index { @Code "frac" symbol (equations) } 255} 256 257@LI { 258@Code "2 div 3" 259|7ct 260@Eq { 2 div 3 } 261equations. @RawIndex { equations } 262equations.div @SubIndex { @Code "div" symbol } 263div.equations @Index { @Code "div" symbol (equations) } 264} 265 266@LI { 267@Code "2 slash 3" 268|7ct 269@Eq { 2 slash 3 } 270equations. @RawIndex { equations } 271equations.slash @SubIndex { @Code "slash" symbol } 272slash.equations @Index { @Code "slash" symbol (equations) } 273} 274 275@EL 276The @Code "div" symbol is a binary operator (see below), and 277@Code "slash" is the full name for the @Code "/" character from 278the Adobe Symbol font. You can't use @Code "/" itself, because 279it is one of Lout's special symbols. 280@PP 281The following short names define relations (that is, they have a thick 282space on each side): 283@DP 284ragged @Break { 285"<" @Dbl @Eq { < } 286">" @Dbl @Eq { > } 287"=" @Dbl @Eq { = } 288"<=" @Dbl @Eq { <= } 289"prec" @Dbl @Eq { prec } 290"preceq" @Dbl @Eq { preceq } 291"<<" @Dbl @Eq { << } 292"subset" @Dbl @Eq { subset } 293"subseteq" @Dbl @Eq { subseteq } 294"sqsubseteq" @Dbl @Eq { sqsubseteq } 295"in" @Dbl @Eq { in } 296"vdash" @Dbl @Eq { vdash } 297"smile" @Dbl @Eq { smile } 298"frown" @Dbl @Eq { frown } 299">=" @Dbl @Eq { >= } 300"succ" @Dbl @Eq { succ } 301"succeq" @Dbl @Eq { succeq } 302">>" @Dbl @Eq { >> } 303"supset" @Dbl @Eq { supset } 304"supseteq" @Dbl @Eq { supseteq } 305"sqsupseteq" @Dbl @Eq { sqsupseteq } 306"ni" @Dbl @Eq { ni } 307"dashv" @Dbl @Eq { dashv } 308"mid" @Dbl @Eq { mid } 309"parallel" @Dbl @Eq { parallel } 310"==" @Dbl @Eq { == } 311"~" @Dbl @Eq { ~ } 312"-~" @Dbl @Eq { -~ } 313"asymp" @Dbl @Eq { asymp } 314"~~" @Dbl @Eq { ~~ } 315"=~" @Dbl @Eq { =~ } 316"bowtie" @Dbl @Eq { bowtie } 317"propto" @Dbl @Eq { propto } 318"models" @Dbl @Eq { models } 319"doteq" @Dbl @Eq { doteq } 320"trieq" @Dbl @Eq { trieq } 321"perp" @Dbl @Eq { perp } 322"notsub" @Dbl @Eq { notsub } 323"notin" @Dbl @Eq { notin } 324"!=" @Dbl @Eq { != } 325"<->" @Dbl @Eq { <-> } 326"<--" @Dbl @Eq { <-- } 327"-->" @Dbl @Eq { --> } 328"up" @Dbl @Eq { up } 329"down" @Dbl @Eq { down } 330"<=>" @Dbl @Eq { <=> } 331"<==" @Dbl @Eq { <== } 332"==>" @Dbl @Eq { ==> } 333"dblup" @Dbl @Eq { dblup } 334"dbldown" @Dbl @Eq { dbldown } 335":" @Dbl @Eq { : } 336"::" @Dbl @Eq { :: } 337":=" @Dbl @Eq { := } 338} 339@DP 340These can be negated by preceding them with {@Code "not"}, as in 341equations. @RawIndex { equations } 342equations.not @SubIndex { @Code "not" symbol } 343not.equations @Index { @Code "not" symbol (equations) } 344negation. @Index { negation of equation symbols } 345{@Code "not =="}, for example, which yields {@Eq { not == }}. The 346following short names define binary operators (medium space on each side): 347@DP 348ragged @Break { 349"+" @Dbl @Eq { + } 350"-" @Dbl @Eq { - } 351"+-" @Dbl @Eq { +- } 352"-+" @Dbl @Eq { -+ } 353"setminus" @Dbl @Eq { setminus } 354"cdot" @Dbl @Eq { cdot } 355"times" @Dbl @Eq { times } 356"*" @Dbl @Eq { * } 357"circ" @Dbl @Eq { circ } 358"div" @Dbl @Eq { div } 359"cap" @Dbl @Eq { cap } 360"cup" @Dbl @Eq { cup } 361"uplus" @Dbl @Eq { uplus } 362"sqcap" @Dbl @Eq { sqcap } 363"sqcup" @Dbl @Eq { sqcup } 364"triangleleft" @Dbl @Eq { triangleleft } 365"triangleright" @Dbl @Eq { triangleright } 366"wr" @Dbl @Eq { wr } 367"bigcirc" @Dbl @Eq { bigcirc } 368"bigtriangleup" @Dbl @Eq { bigtriangleup } 369"bigtriangledown"@Dbl @Eq { bigtriangledown } 370"vee" @Dbl @Eq { vee } 371"wedge" @Dbl @Eq { wedge } 372"oplus" @Dbl @Eq { oplus } 373"ominus" @Dbl @Eq { ominus } 374"otimes" @Dbl @Eq { otimes } 375"oslash" @Dbl @Eq { oslash } 376"odot" @Dbl @Eq { odot } 377"dagger" @Dbl @Eq { dagger } 378"daggerdbl" @Dbl @Eq { daggerdbl } 379"amalg" @Dbl @Eq { amalg } 380} 381@DP 382The following names define arrow symbols (no extra space): 383@DP 384ragged @Break { 385"leftarrow" @Dbl @Eq { leftarrow } 386"longleftarrow" @Dbl @Eq { longleftarrow } 387"dblleftarrow" @Dbl @Eq { dblleftarrow } 388"dbllongleftarrow" @Dbl @Eq { dbllongleftarrow } 389"rightarrow" @Dbl @Eq { rightarrow } 390"longrightarrow" @Dbl @Eq { longrightarrow } 391"dblrightarrow" @Dbl @Eq { dblrightarrow } 392"dbllongrightarrow" @Dbl @Eq { dbllongrightarrow } 393"leftrightarrow" @Dbl @Eq { leftrightarrow } 394"longleftrightarrow" @Dbl @Eq { longleftrightarrow } 395"dblleftrightarrow" @Dbl @Eq { dblleftrightarrow } 396{ 1.15i @Wide @HScale "dbllongleftrightarrow" } @Dbl @Eq { dbllongleftrightarrow } 397"mapsto" @Dbl @Eq { mapsto } 398"longmapsto" @Dbl @Eq { longmapsto } 399"hookleftarrow" @Dbl @Eq { hookleftarrow } 400"hookrightarrow" @Dbl @Eq { hookrightarrow } 401"leadsto" @Dbl @Eq { leadsto } 402"leftharpoonup" @Dbl @Eq { leftharpoonup } 403"rightharpoonup" @Dbl @Eq { rightharpoonup } 404"leftharpoondown" @Dbl @Eq { leftharpoondown } 405"rightharpoondown" @Dbl @Eq { rightharpoondown } 406"rightleftharpoons" @Dbl @Eq { rightleftharpoons } 407"uparrow" @Dbl @Eq { uparrow } 408"dbluparrow" @Dbl @Eq { dbluparrow } 409"downarrow" @Dbl @Eq { downarrow } 410"dbldownarrow" @Dbl @Eq { dbldownarrow } 411"updownarrow" @Dbl @Eq { updownarrow } 412"dblupdownarrow" @Dbl @Eq { dblupdownarrow } 413"nearrow" @Dbl @Eq { nearrow } 414"searrow" @Dbl @Eq { searrow } 415"swarrow" @Dbl @Eq { swarrow } 416"nwarrow" @Dbl @Eq { nwarrow } 417} 418@DP 419The following names define punctuation symbols (thin space on the 420right-hand side): 421@DP 422ragged @Break { 423";" @Dbl @Eq { ; } 424"," @Dbl @Eq { , } 425"col" @Dbl @Eq { col } 426} 427@DP 428The following symbols are used in ways typified by the large sum and 429product symbols. In display equations they should be preceded by the 430@Code "big" symbol: 431@DP 432ragged @Break { 433"sum" @Dbl @Eq { sum } 434"prod" @Dbl @Eq { prod } 435"coprod" @Dbl @Eq { coprod } 436@LP 437"int" @Dbl @Eq { int } 438"oint" @Dbl @Eq { oint } 439"bcap" @Dbl @Eq { bcap } 440@LP 441"bcup" @Dbl @Eq { bcup } 442"bvee" @Dbl @Eq { bvee } 443"bwedge" @Dbl @Eq { bwedge } 444@LP 445"bodot" @Dbl @Eq { bodot } 446"botimes" @Dbl @Eq { botimes } 447"boplus" @Dbl @Eq { boplus } 448@LP 449"buplus" @Dbl @Eq { buplus } 450} 451@DP 452The following symbols are defined so that they will appear in Roman, 453as is conventional for them in equations: 454@DP 455ragged @Break { 456"arccos" @Dbl @Eq { arccos } 457"arcsin" @Dbl @Eq { arcsin } 458"arctan" @Dbl @Eq { arctan } 459"arg" @Dbl @Eq { arg } 460"cos" @Dbl @Eq { cos } 461"cosh" @Dbl @Eq { cosh } 462"cot" @Dbl @Eq { cot } 463"coth" @Dbl @Eq { coth } 464"csc" @Dbl @Eq { csc } 465"deg" @Dbl @Eq { deg } 466"det" @Dbl @Eq { det } 467"dim" @Dbl @Eq { dim } 468"exp" @Dbl @Eq { exp } 469"gcd" @Dbl @Eq { gcd } 470"hom" @Dbl @Eq { hom } 471"inf" @Dbl @Eq { inf } 472"ker" @Dbl @Eq { ker } 473"lg" @Dbl @Eq { lg } 474"lim" @Dbl @Eq { lim } 475"liminf" @Dbl @Eq { liminf } 476"limsup" @Dbl @Eq { limsup } 477"ln" @Dbl @Eq { ln } 478"log" @Dbl @Eq { log } 479"max" @Dbl @Eq { max } 480"min" @Dbl @Eq { min } 481"Pr" @Dbl @Eq { Pr } 482"sec" @Dbl @Eq { sec } 483"sin" @Dbl @Eq { sin } 484"sinh" @Dbl @Eq { sinh } 485"supr" @Dbl @Eq { supr } 486"tan" @Dbl @Eq { tan } 487"tanh" @Dbl @Eq { tanh } 488"mod" @Dbl @Eq { mod } 489} 490@DP 491The following symbols are also defined to ensure that they will appear 492in Roman: 493@DP 494ragged @Break { 495"0" @Dbl @Eq { 0 } 496"1" @Dbl @Eq { 1 } 497"2" @Dbl @Eq { 2 } 498"3" @Dbl @Eq { 3 } 499"4" @Dbl @Eq { 4 } 500"5" @Dbl @Eq { 5 } 501"6" @Dbl @Eq { 6 } 502"7" @Dbl @Eq { 7 } 503"8" @Dbl @Eq { 8 } 504"9" @Dbl @Eq { 9 } 505"!" @Dbl @Eq { ! } 506"?" @Dbl @Eq { ? } 507"%" @Dbl @Eq { % } 508"(" @Dbl @Eq { ( } 509")" @Dbl @Eq { ) } 510"[" @Dbl @Eq { [ } 511"]" @Dbl @Eq { ] } 512} 513@DP 514The following symbols make good @Code atleft and @Code atright parameters 515of the @Code matrix symbol: 516@LP 517@LP 518ragged @Break { 519"lpar" @Dbl @Eq { lpar } 520"blpar" @Dbl @Eq { blpar } 521"rpar" @Dbl @Eq { rpar } 522"brpar" @Dbl @Eq { brpar } 523"lbrack" @Dbl @Eq { lbrack } 524"blbrack" @Dbl @Eq { blbrack } 525"rbrack" @Dbl @Eq { rbrack } 526"brbrack" @Dbl @Eq { brbrack } 527"lbrace" @Dbl @Eq { lbrace } 528"blbrace" @Dbl @Eq { blbrace } 529"rbrace" @Dbl @Eq { rbrace } 530"brbrace" @Dbl @Eq { brbrace } 531"lfloor" @Dbl @Eq { lfloor } 532"blfloor" @Dbl @Eq { blfloor } 533"rfloor" @Dbl @Eq { rfloor } 534"brfloor" @Dbl @Eq { brfloor } 535"lceil" @Dbl @Eq { lceil } 536"blceil" @Dbl @Eq { blceil } 537"rceil" @Dbl @Eq { rceil } 538"brceil" @Dbl @Eq { brceil } 539"langle" @Dbl @Eq { langle } 540"blangle" @Dbl @Eq { blangle } 541"rangle" @Dbl @Eq { rangle } 542"brangle" @Dbl @Eq { brangle } 543} 544@LP 545@LP 546Here are some miscellaneous symbols: 547@DP 548ragged @Break { 549"hbar" @Dbl @Eq { hbar } 550"Re" @Dbl @Eq { Re } 551"Im" @Dbl @Eq { Im } 552"partial" @Dbl @Eq { partial } 553"infty" @Dbl @Eq { infty } 554"prime" @Dbl @Eq { prime } 555"nabla" @Dbl @Eq { nabla } 556"surd" @Dbl @Eq { surd } 557"top" @Dbl @Eq { top } 558"bot" @Dbl @Eq { bot } 559"dbar" @Dbl @Eq { dbar } 560"triangle" @Dbl @Eq { triangle } 561"backslash" @Dbl @Eq { backslash } 562"forall" @Dbl @Eq { forall } 563"exists" @Dbl @Eq { exists } 564"neg" @Dbl @Eq { neg } 565"circle" @Dbl @Eq { circle } 566"filledcircle" @Dbl @Eq { filledcircle } 567"square" @Dbl @Eq { square } 568"ldots" @Dbl @Eq { ldots } 569"cdots" @Dbl @Eq { cdots } 570"vdots" @Dbl @Eq { vdots } 571"ddots" @Dbl @Eq { ddots } 572"del" @Dbl @Eq { del } 573"grad" @Dbl @Eq { grad } 574"triangleup" @Dbl @Eq { triangleup } 575"triangledown" @Dbl @Eq { triangledown } 576"..." @Dbl @Eq { ... } 577",...," @Dbl @Eq { ,..., } 578"half" @Dbl @Eq { half } 579"third" @Dbl @Eq { third } 580"'" @Dbl @Eq { ' } 581"empty" @Dbl @Eq { empty } 582} 583@DP 584Finally, here is the long list of full names from the Adobe Symbol font; 585these are as for the @Code "@Sym" symbol of Section {@NumberOf characters}, 586but within equations you don't type {@Code "@Sym"}: 587@DP 588ragged @Break { 589"space" @Dbl @Eq { space } 590"exclam" @Dbl @Eq { exclam } 591"universal" @Dbl @Eq { universal } 592"numbersign" @Dbl @Eq { numbersign } 593"existential" @Dbl @Eq { existential } 594"percent" @Dbl @Eq { percent } 595"ampersand" @Dbl @Eq { ampersand } 596"suchthat" @Dbl @Eq { suchthat } 597"parenleft" @Dbl @Eq { parenleft } 598"parenright" @Dbl @Eq { parenright } 599"asteriskmath" @Dbl @Eq { asteriskmath } 600"plus" @Dbl @Eq { plus } 601"comma" @Dbl @Eq { comma } 602"minus" @Dbl @Eq { minus } 603"period" @Dbl @Eq { period } 604"slash" @Dbl @Eq { slash } 605"zero" @Dbl @Eq { zero } 606"one" @Dbl @Eq { one } 607"two" @Dbl @Eq { two } 608"three" @Dbl @Eq { three } 609"four" @Dbl @Eq { four } 610"five" @Dbl @Eq { five } 611"six" @Dbl @Eq { six } 612"seven" @Dbl @Eq { seven } 613"eight" @Dbl @Eq { eight } 614"nine" @Dbl @Eq { nine } 615"colon" @Dbl @Eq { colon } 616"semicolon" @Dbl @Eq { semicolon } 617"less" @Dbl @Eq { less } 618"equal" @Dbl @Eq { equal } 619"greater" @Dbl @Eq { greater } 620"question" @Dbl @Eq { question } 621"congruent" @Dbl @Eq { congruent } 622"Alpha" @Dbl @Eq { Alpha } 623"Beta" @Dbl @Eq { Beta } 624"Chi" @Dbl @Eq { Chi } 625"Delta" @Dbl @Eq { Delta } 626"Epsilon" @Dbl @Eq { Epsilon } 627"Phi" @Dbl @Eq { Phi } 628"Gamma" @Dbl @Eq { Gamma } 629"Eta" @Dbl @Eq { Eta } 630"Iota" @Dbl @Eq { Iota } 631"thetaone" @Dbl @Eq { thetaone } 632"Kappa" @Dbl @Eq { Kappa } 633"Lambda" @Dbl @Eq { Lambda } 634"Mu" @Dbl @Eq { Mu } 635"Nu" @Dbl @Eq { Nu } 636"Omicron" @Dbl @Eq { Omicron } 637"Pi" @Dbl @Eq { Pi } 638"Theta" @Dbl @Eq { Theta } 639"Rho" @Dbl @Eq { Rho } 640"Sigma" @Dbl @Eq { Sigma } 641"Tau" @Dbl @Eq { Tau } 642"Upsilon" @Dbl @Eq { Upsilon } 643"sigmaone" @Dbl @Eq { sigmaone } 644"Omega" @Dbl @Eq { Omega } 645"Xi" @Dbl @Eq { Xi } 646"Psi" @Dbl @Eq { Psi } 647"Zeta" @Dbl @Eq { Zeta } 648"bracketleft" @Dbl @Eq { bracketleft } 649"therefore" @Dbl @Eq { therefore } 650"bracketright" @Dbl @Eq { bracketright } 651"perpendicular" @Dbl @Eq { perpendicular } 652"underscore" @Dbl @Eq { underscore } 653"radicalex" @Dbl @Eq { radicalex } 654"alpha" @Dbl @Eq { alpha } 655"beta" @Dbl @Eq { beta } 656"chi" @Dbl @Eq { chi } 657"delta" @Dbl @Eq { delta } 658"epsilon" @Dbl @Eq { epsilon } 659"phi" @Dbl @Eq { phi } 660"gamma" @Dbl @Eq { gamma } 661"eta" @Dbl @Eq { eta } 662"iota" @Dbl @Eq { iota } 663"phione" @Dbl @Eq { phione } 664"kappa" @Dbl @Eq { kappa } 665"lambda" @Dbl @Eq { lambda } 666"mu" @Dbl @Eq { mu } 667"nu" @Dbl @Eq { nu } 668"omicron" @Dbl @Eq { omicron } 669"pi" @Dbl @Eq { pi } 670"theta" @Dbl @Eq { theta } 671"rho" @Dbl @Eq { rho } 672"sigma" @Dbl @Eq { sigma } 673"tau" @Dbl @Eq { tau } 674"upsilon" @Dbl @Eq { upsilon } 675"omegaone" @Dbl @Eq { omegaone } 676"omega" @Dbl @Eq { omega } 677"xi" @Dbl @Eq { xi } 678"psi" @Dbl @Eq { psi } 679"zeta" @Dbl @Eq { zeta } 680"braceleft" @Dbl @Eq { braceleft } 681"bar" @Dbl @Eq { bar } 682"braceright" @Dbl @Eq { braceright } 683"similar" @Dbl @Eq { similar } 684"Upsilonone" @Dbl @Eq { Upsilonone } 685"minute" @Dbl @Eq { minute } 686"lessequal" @Dbl @Eq { lessequal } 687"fraction" @Dbl @Eq { fraction } 688"infinity" @Dbl @Eq { infinity } 689"florin" @Dbl @Eq { florin } 690"club" @Dbl @Eq { club } 691"diamond" @Dbl @Eq { diamond } 692"heart" @Dbl @Eq { heart } 693"spade" @Dbl @Eq { spade } 694"arrowboth" @Dbl @Eq { arrowboth } 695"arrowleft" @Dbl @Eq { arrowleft } 696"arrowup" @Dbl @Eq { arrowup } 697"arrowright" @Dbl @Eq { arrowright } 698"arrowdown" @Dbl @Eq { arrowdown } 699"degree" @Dbl @Eq { degree } 700"plusminus" @Dbl @Eq { plusminus } 701"second" @Dbl @Eq { second } 702"greaterequal" @Dbl @Eq { greaterequal } 703"multiply" @Dbl @Eq { multiply } 704"proportional" @Dbl @Eq { proportional } 705"partialdiff" @Dbl @Eq { partialdiff } 706"bullet" @Dbl @Eq { bullet } 707"divide" @Dbl @Eq { divide } 708"notequal" @Dbl @Eq { notequal } 709"equivalence" @Dbl @Eq { equivalence } 710"approxequal" @Dbl @Eq { approxequal } 711"ellipsis" @Dbl @Eq { ellipsis } 712"arrowvertex" @Dbl @Eq { arrowvertex } 713"arrowhorizex" @Dbl @Eq { arrowhorizex } 714"carriagereturn"@Dbl @Eq { carriagereturn } 715"aleph" @Dbl @Eq { aleph } 716"Ifraktur" @Dbl @Eq { Ifraktur } 717"Rfraktur" @Dbl @Eq { Rfraktur } 718"weierstrass" @Dbl @Eq { weierstrass } 719"circlemultiply"@Dbl @Eq { circlemultiply } 720"circleplus" @Dbl @Eq { circleplus } 721"emptyset" @Dbl @Eq { emptyset } 722"intersection" @Dbl @Eq { intersection } 723"union" @Dbl @Eq { union } 724"propersuperset"@Dbl @Eq { propersuperset } 725"reflexsuperset"@Dbl @Eq { reflexsuperset } 726"notsubset" @Dbl @Eq { notsubset } 727"propersubset" @Dbl @Eq { propersubset } 728"reflexsubset" @Dbl @Eq { reflexsubset } 729"element" @Dbl @Eq { element } 730"notelement" @Dbl @Eq { notelement } 731"angle" @Dbl @Eq { angle } 732"gradient" @Dbl @Eq { gradient } 733"registerserif" @Dbl @Eq { registerserif } 734"copyrightserif"@Dbl @Eq { copyrightserif } 735"trademarkserif"@Dbl @Eq { trademarkserif } 736"product" @Dbl @Eq { product } 737"radical" @Dbl @Eq { radical } 738"dotmath" @Dbl @Eq { dotmath } 739"logicalnot" @Dbl @Eq { logicalnot } 740"logicaland" @Dbl @Eq { logicaland } 741"logicalor" @Dbl @Eq { logicalor } 742"arrowdblboth" @Dbl @Eq { arrowdblboth } 743"arrowdblleft" @Dbl @Eq { arrowdblleft } 744"arrowdblup" @Dbl @Eq { arrowdblup } 745"arrowdblright" @Dbl @Eq { arrowdblright } 746"arrowdbldown" @Dbl @Eq { arrowdbldown } 747"lozenge" @Dbl @Eq { lozenge } 748"angleleft" @Dbl @Eq { angleleft } 749"registersans" @Dbl @Eq { registersans } 750"copyrightsans" @Dbl @Eq { copyrightsans } 751"trademarksans" @Dbl @Eq { trademarksans } 752"summation" @Dbl @Eq { summation } 753"parenlefttp" @Dbl @Eq { parenlefttp } 754"parenleftex" @Dbl @Eq { parenleftex } 755"parenleftbt" @Dbl @Eq { parenleftbt } 756"bracketlefttp" @Dbl @Eq { bracketlefttp } 757"bracketleftex" @Dbl @Eq { bracketleftex } 758"bracketleftbt" @Dbl @Eq { bracketleftbt } 759"bracelefttp" @Dbl @Eq { bracelefttp } 760"braceleftmid" @Dbl @Eq { braceleftmid } 761"braceleftbt" @Dbl @Eq { braceleftbt } 762"braceex" @Dbl @Eq { braceex } 763"angleright" @Dbl @Eq { angleright } 764"integral" @Dbl @Eq { integral } 765"integraltp" @Dbl @Eq { integraltp } 766"integralex" @Dbl @Eq { integralex } 767"integralbt" @Dbl @Eq { integralbt } 768"parenrighttp" @Dbl @Eq { parenrighttp } 769"parenrightex" @Dbl @Eq { parenrightex } 770"parenrightbt" @Dbl @Eq { parenrightbt } 771"bracketrighttp"@Dbl @Eq { bracketrighttp } 772"bracketrightex"@Dbl @Eq { bracketrightex } 773"bracketrightbt"@Dbl @Eq { bracketrightbt } 774"bracerighttp" @Dbl @Eq { bracerighttp } 775"bracerightmid" @Dbl @Eq { bracerightmid } 776"bracerightbt" @Dbl @Eq { bracerightbt } 777} 778@DP 779The names given are the same as Adobe's, as used by the @Code "@Sym" 780symbol, except in a few places where the Adobe name contains a digit, 781which is not possible for a symbol name in Lout. 782@End @Section 783