[Skip Navigation] [CSUSB] / [CNS] / [Comp Sci Dept] / [R J Botting] / [Samples] / comp.text.TeX
[Index] [Contents] [Source Text] [About] [Notation] [Copyright] [Comment/Contact] [Search ]
Fri Nov 16 11:07:16 PST 2007

Contents

    TeX - Donald Knuth Markup Language for Mathematical Text

    1. TeX::=Mathematical Markup for publishing mathematics, symbolized by a logo made up of three greek capital letters: Tau Epsilon Chi carefully kerned and subscrpted so as to make it difficult for other systems to display the name correctly. Here is an approximation: ΤΕΧ.

      Tutorials etc

      Dr. Schubert: [ tex.html ] Also [ tex.html ]

      Tools and References


      (rough map from TeX to HTML): [ tex2html.html ] (documentation) and [ ../bin/tex2html ] (UNIX Shell Script using sed)

      More To Be Announced [click here [socket symbol] if you can fill this hole]

      My first TeX file courtesy of Dr. Keith Schubert

      [ ../papers/keith.tex ]

      Semantic brackets - kerned square brackets

      Shown in MATHS as \[....\]

    2. l_semantic::=TeX(bigr[\hskip-1pt\bigr[$).
    3. r_semantic::=TeX(bigr[\hskip-1pt\bigr[$). The -1pt skip may be too small. Dr. Peter Wetterlind, Personal communication, 1992

      OR

    4. l_semantic::=TeX([\![).
    5. r_semantic::=TeX(]\!]). Silverman 1998 from the U of Providence Rhode Island.

      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", "o", "O", "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"}.

        Note. On Fri Nov 3 15:40:39 PST 2006 I started to enhance my mth2html translator to include a mapping from some ΤΕΧ symbols into their HTML equivalent entities: 

         	\alpha	α
        α for example. I started with the Greek lower case alpha bet plus some of the Upper-case letters. Enjoy.

      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. Transcribe backslashed symbols that are in the symbols listed as Mathematical Reviews Symbols as is
      2. math2TeX::AMS_TeX->AMS_TeX=Id.
        Use tabs, , etc to recognize mathematical formula and place dollar signs round them
      3. Map lexemes/etc as follows:
      4. math2TeX::lexeme->lexeme|{HELP}=
      5. ( "{" +> "\{""
      6. | "}" +> "\}"
      7. | "\{" +> "{\box"
      8. | "\}" +> "}"
      9. | "\<" +> "\l_angle??"
      10. | "\>" +> "\r_angle_bracket"
      11. | "\[" +> "bigr[\hskip-1pt\bigr[$"
      12. | "\]" +> "bigr[\hskip-1pt\bigr[$"
      13. | "iff " +> "\iff"
      14. | "==>" +> "⊆"
      15. | "=>>" +> "⊂"
      16. | "<>" +> "≠"
      17. | "><" +> "\times"
      18. | "---" +> "≡"
      19. | "->" +> "→"
      20. | "=>" +> "⇒"
      21. | "-" +> "\emdash"
      22. | ">->" +> "\longmapsto"
      23. | "<>->" +> "\hookrightarrow"
      24. | "-->" +> "\longrightarrow"
      25. | ">--" +> HELP
      26. | ">==" +> HELP
      27. | "|=" +> "\models"
      28. | "<=" +> "≤"
      29. | "<" +> "≤ss"
      30. | ">" +> "\gtr"
      31. | ">=" +> "≥"

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

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

      78. | "||" +> "\bracevert"
      79. | "\/{...}" +> "\coprod{...}"
      80. | "map " +> "λ"
      81. | "fun " +> "λ"
      82. | "set(...)" +> HELP
      83. | "$ " +> "\S"
      84. | "..." +> "\cdots"
        | "..." +> "$...$"
      85. | "wff " +> "$ wff $"
      86. )
      87. Insert \par etc as needed - using directive and break information.

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

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

    Notes

  1. HELP::= "I'm not sure how to do this", [click here [socket symbol] if you can fill this hole]

End