Mathematical Typesetting: AMS-TeX Symbols

Introduction

The following is an attempt to classify and clarify some of the symbols promoted by the American Mathematics Society for use with Donald Knuth's TeX mark up system. This classification has no claims to completenes or correctness. Its just my attempt to order the chaos of an alphabetic listing of symbols.

For the real information, stylesheets, etc see //??/??/

1. TeX_Mathematical::=backslash ( arrows | objects | relations | infix | prefix | geometry | dingbats | suits | special_letters | boolean | dots_n_dashes | miscelaneous | sets | quantifiers| music | money | brackets | limits | integration ).

2. arrows::="dbkarrow" | "gets" | "mapsto" | "multimap" | circle_curved_arrow | up_down | hooked | horizontal_harpoon | doubled_arrows | two_way | diagonal_arrows | long_or_loopy_arrow | negated_arrow | two_headed_arrow | very_odd_arrows.

3. circle_curved_arrow::=("circle" | "curve") "arrow" ( "left" | "right").
4. diagonal_arrows::=("Lleft" | "Rright" | ("s" | "n")(e" | "w" ) ) "arrow".
5. doubled_arrows::=("leftleft" | "rightright" | "downdown" | "upup" ) "arrows".
6. up_down::= ("down" O("down")| "Down" | "up" | "Up") ("arrow" | "harpoon" ("left" | "right") ).
7. hooked::="hook" ("left" | "right") "arrow" | "hk" ("se" | "sw") "arrow".
8. long_or_loopy_arrow::=("Long"|"long" | "loop")( ("left" O("right") | "right") "arrow").
9. two_headed_arrow::="twoheaded" ("left" | "right") "arrow".
10. two_way::="leftright" ("arrow" | "arrows" | "harpoons" | "sqigarrow" ).
11. horizontal_harpoon::= ("Left" | "left" ) ("arrow"| "harpoon"("down"|"up")).
12. negated_arrow::="n" (("Left"|"left") O("right") | ("Right" | "right")) "arrow".
13. very_odd_arrows::= ("left"|"right") ("threetimes" | "parengtr" | "sqigarrow").

14. objects::="bot" | "dots" | "emptyset" | "infty".

15. relations::=("less"|"sim")|"curly" ( "eqprec" | "eqsucc" | "preceq" | "vee" | "wedge" ) | "less"O("approx"|"dot"|"eqgtr"|"eqqgtr"|"gtr"|"sim")|"ln" ("approx"|"eq"|"eqq" | "sim") |O("n") (("succ" | "prec")O("approx" | "sim") O("eq"| "curlyequal") | O("n") "triangle" ("left" | "right") O("eq) | O("n") "parallel" | "thick" ("approx"|"sim") | "triangle" O("down" | "left" | "lefteq" | "q" | "right" | "righteq").

16. infix::=O("back")"slash" | "doublecap" | "cap" | "circeq" | "coprod" | "doublecup" | "cup" | "div" | "divideontimes" | "ast" | "frown" | "mp" |"pm" | "times" | ("box" | "o" ) ("dot" | "minus" | "plus" | "times") | "circled" ( "ast" | "circ" | "R" | "S" ) | "small" ("amalg" | "frown" | "int" | "smile") | "sq" ( "cap"|"cup" ).

17. prefix::="big" ( "cap"|"cup"|"circle" | "o" ("dot" | "plus" | "times") | "sqcup" | "star" | "triangle" ("down"|"up") | "vee" | "wedge" | "arrow" | ) | "neg" | "sum"| "surd" | "sqrt",
18. boolean::="iff" | "lor" | "land".

19. geometry::="angle" | "circ" | "measuredangle" | "nshortparallel" | "perp"| "sphericalangle" | O("n") "parallel".

20. dingbats::="black" ( "lozenge" | "square" | "triangle" ("down"|"up" | "left" | "right" )) |"bowtie"| "bullet" | "centerdot" | "checkmark" | "copywrite" | "dag" | "dagger" | v"ddag"| "ddagger"|"deg"| "diamond" | "lozenge"| "maltese" | "star".
21. money::= "sterling" | "yen" | dollar.
22. dollar::="S".
23. music::= "sharp" |"natural" | "flat".
24. suits::=("club" | "diamond" | "heart" | "spade") "suit").
25. special_letters::="ell"|"hbar" |"hslash" | "i"|"im"|"imath" | "j" | "jmath" | "nabla" | omicron | Omicron | "oe"|OE",
26. omicron::="o",
27. Omicron::="O",
28. dots_n_dashes::="because" | "cdot"| "cdots" | "coloneq" | "dashv" | "fallingdotseq" | "risingdotseq"|"therefore" | "vdots" | "Vvdash" | "Vvert" | ( "em" | "en" )"dash" | | O("n") ("V"|"v") ("D" | "d") "ash"
29. sets::="bracevert" | "complement" | O("not")"in" | O("n") "sq" ("subset" | "supset" )O("eq") | O("var")("subset" | "supset" )O("n") O("eq" | "eqq") | O("big") ( "cap"|"cup")
30. brackets::=("l" | "r") ("angle" | "asp" | "brace" | "brack" | "ceil" | "floor" | "hook"| "moustache" | "q" | "times") | ("L" | "R" ) "sh".
31. limits::=O("var") "lim" ("inf" | "inj" | "its" | "proj" | "sup") .
32. quantifiers::="exists" | "forall" | "nexists"

33. integration::="int" O("i" | "ii" | "iii" |"iv" | "dotsint".

. . . . . . . . . ( end of section AMS-TeX Symbols) <<Contents | End>>