[Skip Navigation] [Remove Frame] [CS320] [Text Version] comp.text.TeX.html Sat Dec 23 07:59:47 PST 2006

Contents


    TeX - Donald Knuth Markup Language for Mathematical Text

      ΤΕΧ::= TeX(Τ...ε...Χ).

      Semantic brackets - kerned square brackets \[....\] Dr. Peter Wetterlind, Personal communication, 1992

    1. l_semantic::=TeX(bigr[\hskip-1pt\bigr[$).
    2. r_semantic::=TeX(bigr[\hskip-1pt\bigr[$). The -1pt skip may be too small.

      Mathematical Review Symbols

      1. Accents::=$
        Net{
        1. umlaut::=backslash "\"",
        2. acute::=backslash "'",
        3. doubleacute::=backslash "H".
        4. hat::=backslash "hat".
        5. dot::=backslash ".",
        6. grave::=backslash "grave".
        7. macron::=backslash "=".
        8. underbar::=backslash "b".
        9. bar::=backslash "bar".
        10. overcap::=backslash "breve"::="u".
        11. underdot::=backslash "d".
        12. double_dot::=backslash "ddot",
        13. treble_dot::=backslash "dddot".
        14. quadruple_dot::=backslash "ddddot",
        15. barmath::=backslash "obar",
        16. over_under_things::=backslash ""(over"|"under") ("arrow"|"brace"|"leftarrow"|"leftrightarrow"|"line"|"rightarrow").
        17. tilde::=backslash ""O("wide")"tilde".
        18. hacek::=backslash "v".

        }=::Accents.

      2. TeX_Greek::=back_slash { "alpha", "beta", "chi" , "delta", "Delta", "epsilon", "Gamma", "gamma", "eta", "iota", "kappa", "Lambda", "lambda", "mu", "nu", "Omega", "omega", "Phi", "phi", "Pi", "pi", "Psi", "psi", "rho", "Sigma", "sigma", "straightepsilon", "straightphi", "tau", "Theta", "theta", "Upsilon", "upsilon", "varepsilon", "varphi", "varpi", "varrho", "varsigma", "vartheta", "Xi", "xi", "zeta", "digamma"}.
      3. TeX_Bold_greek::=backslash "bf" TeX_Greek.

      4. TeX_Hebrew::=backslash {"aleph", "beth", "daleth", "gimel", ... }.

      5. TeX_German::=backslash ( "ss" |...).

      6. TeX_Black_board_font::=backslash "bbf" capital_letter.

      7. TeX_punctuation::=backslash ("colon" | "P"| ...).

        The following is almost in alphabetical order with some structure. for a more structured version see [ comp.text.TeX.Mathematical.html ]

      8. TeX_Mathematical::= "back" ("cong"| "epsilon"| "prime"| "sim"| "simeq"| "slash") | "big" O( "cap"|"cup"|"circle" | "o" ("dot" | "plus" | "times") | "sqcup" | "star" | "triangle" ("down"|"up") | "vee" | "wedge" | "arrow" ) | "black" ( "lozenge" | "square" | "triangle" ("down"|"up" | "left" | "right" )) | ("box" | "o" ) ("dot"|"minus"|"plus"|"times")| ("circle" | "curve") "arrow" ( "left" | "right") | "curly" ( "eqprec" | "eqsucc" | "preceq" | "vee" | "wedge" "circled" ( "ast" | "circ" | "R" | "S" )| ("club" | "diamond" | "heart" | "spade") "suit") | "dot" ("plus" | "square" )| ("down" O("down")| "Down" | "up" | "Up") ("arrow" | "harpoon" ("left" | "right") ) | ( "em" | "en" )"dash" | "eq" ("circ"|"colon" | "slant"( "gtr" | "less"))| O("n") ("ge"|"le"|"ge"| "le" | "subsete" | "supsete" )O("q"|"qq"|"qslant")| "gn"("approx"|"eq"|"eqq") | "gtr"O("approx"|"dot"|"eqless"|"eqqless"|"less"|"sim")| "hook" ("left" | "right") "arrow" | "hk" ("se" | "sw") "arow" | "int"O("i" | "ii" | "iii" |"iv") | ("l" | "r") ("angle" | "asp" | "brace" | "brack" | "ceil" | "floor" | "hook"| "moustache" | "q" | "times") | ("Left" | "left" ) ("arrow"| "harpoon"("down"|"up")) | ("leftleft" | "rightright" | "downdown" | "upup" ) "arrows" | "leftright" ("arrow" | "arrows"| "harpoons" | "sqigarrow" )| ("Lleft" | "Rright" | ("s" | "n")(e" | "sw" ) ) "arrow"| ("left"|"right") ("threetimes" | "parengtr" | "sqigarrow") | ("L" | "R" ) "sh" "less"O("approx"|"dot"|"eqgtr"|"eqqgtr"|"gtr"|"sim")| O("var") "lim" ("inf" | "inj" | "its" | "proj" | "sup") | "ln" ("approx"|"eq"|"eqq" | "sim") | ("Long"|"long" | "loop")( ("left" O("right") | "right") "arrow") | "mapsto") | "n" (("Left"|"left") O("right") | ("Right" | "right")) "arrow" | O("n") (("succ" | "prec") O("approx" | "sim") O("eq"| "curlyequal")) | O("n") "triangle" ("left" | "right") O("eq") | O("n") ("V"|"v") ("D" | "d") "ash" | O("n") "parallel" | "small" ("amalg" | "frown" | "int" | "smile") | "sq" ( "cap"|"cup" ) | O("n") "sq" ("subset" | "supset" )O("eq") | O("var")("subset" | "supset" )O("n") O("eq" | "eqq") | "thick" ("approx"|"sim") | "triangle" O("down" | "left" | "lefteq" | "q" | "right" | "righteq") | "twoheaded" ("left" | "right") "arrow" | "vdots" | "Vvdash" | "Vvert" | "wedge" | "wp" | "yen" .

      9. TeX_intention::= backslash "brace{" declarations backslash "bracevert" predicate "}"
      10. TeX_combinations::=backslash "choose{" ??"}"

      . . . . . . . . . ( end of section Mathematical Review Symbols) <<Contents | End>>

      Recommended Mapping of MATHS into ΤΕΧ Mathematical form.

      1. 1. Transcribe backslashed symbols that are in the symbols listed as Mathematical Reviews Symbols as is
      2. math2TeX::AMS_TeX->AMS_TeX=Id.

      3. 2. Insert \par etc as needed - using directive and break information.

      4. 3. Map lexemes/etc as follows:
      5. math2TeX::lexeme->lexeme|{HELP}=
      6. ( "{" +> "\{""
      7. | "}" +> "\}"
      8. | "\{" +> "{\box"
      9. | "\}" +> "}"
      10. | "\<" +> "\l_angle??"
      11. | "\>" +> "\r_angle_bracket"
      12. | "\[" +> "bigr[\hskip-1pt\bigr[$"
      13. | "\]" +> "bigr[\hskip-1pt\bigr[$"
      14. | "iff " +> "\iff"
      15. | "==>" +> "⊆"
      16. | "=>>" +> "⊂"
      17. | "<>" +> "≠"
      18. | "><" +> "\times"
      19. | "---" +> "≡"
      20. | "->" +> "→"
      21. | "=>" +> "⇒"
      22. | "-" +> "\emdash"
      23. | ">->" +> "\longmapsto"
      24. | "<>->" +> "\hookrightarrow"
      25. | "-->" +> "\longrightarrow"
      26. | ">--" +> HELP
      27. | ">==" +> HELP
      28. | "|=" +> "\models"
      29. | "<=" +> "≤"
      30. | "<" +> "≤ss"
      31. | ">" +> "\gtr"
      32. | ">=" +> "≥"

      33. | "++" +> HELP
      34. | "+-" +> "\pm"
      35. | "+>" +> HELP
      36. | "-+" +> "\mp"
      37. | "{}" +> "∅"
      38. | "&" +> "∪"
      39. | "|" +> "∩"
      40. | "||" +> "\brackvert"
      41. | "oo " +> "∞"
      42. | "and " +> "∧"
      43. | "or " +> "∨"
      44. | "not " +> " not "

      45. | "chars " +> "\bbfA"
      46. | "Complex " +> "\bbfC"
      47. | "Finite_Sets " +> "\bbfF"
      48. | "Nat " +> "\bbfN"
      49. | "rational " +> "\bbfQ"
      50. | "Real " +> "\bbfR"
      51. | "Times " +> "\bbfT"
      52. | "Int " +> "\bbfZ"
      53. | "bottom " +> "⊥"
      54. | "~ " +> "\complement"
      55. | "in " +> "∈"
      56. | "is in " +> "∈"
      57. | "not in " +> HELP
      58. | "is not in " +> HELP
      59. | ":." +> "\therefore"
      60. | ".:" +> "\because"
        | "|-" +> "\vdash"
      61. | "rp " +> "ℜ"
      62. | "ip " +> "ℑ"
      63. | "for all " +> "∀"
      64. | "for some " +> "∃"
      65. | "for 0 " +> " no "
      66. | "are " +> "⊆"
      67. | "iff " +> "\iff"
      68. | "for abf " +> HELP"
      69. )
      70. math2TeX::syntax->syntax::=
      71. ( "Net{...} " +> "{\box ... }"
      72. | "Let{...} " +> "Let {\box .... }"
      73. | "[ ... ]" +> "{\sub ... }"
      74. | "^(...)" +> "{\sup ... }"
      75. | "+(...)" +> "{∑...}"
      76. | "*(...)" +> "{∏...}"
      77. | "+[...](...)" +> HELP
      78. | "*[...](...)" +> HELP

      79. | "||" +> "\bracevert"
      80. | "\/{...}" +> "\coprod{...}"
      81. | "map " +> "λ"
      82. | "fun " +> "λ"
      83. | "set(...)" +> HELP
      84. | "$ " +> "\S"
      85. | "..." +> "\cdots"
        | "..." +> "$...$"
      86. | "wff " +> "$ wff $"
      87. )

      . . . . . . . . . ( end of section Recommended Mapping of MATHS into ΤΕΧ Mathematical form.) <<Contents | End>>

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

End