.Open TeX - Donald Knuth Markup Language for Mathematical Text
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: \TeX.

. Tutorials etc
Dr. Schubert: 
.See http://r2labs.org/tex.html
Also
.See http://ftp.csci.csusb.edu/schubert/tex.html

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

More To Be Announced
.Hole
 
. My first TeX file courtesy of Dr. Keith Schubert
.See ../papers/keith.tex


. Semantic brackets -  kerned square brackets  

Shown in MATHS as \[....\]
	l_semantic::=TeX(`$bigr[$\hskip-1pt$\bigr[$`).
	r_semantic::=TeX(`$bigr[$\hskip-1pt$\bigr[$`).
The -1pt skip may be too small.
.Source Dr.  Peter Wetterlind, Personal communication, 1992

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

 
.Open Mathematical Review Symbols
 
Accents::=$Net{
	umlaut::=backslash "\"", 
	acute::=backslash "'", 
	doubleacute::=backslash "H". 
	hat::=backslash "hat". 
	dot::=backslash ".", 
	grave::=backslash "grave". 
	macron::=backslash "=". 
	underbar::=backslash "b". 
	bar::=backslash "bar".  
	overcap::=backslash "breve"::="u". 
	underdot::=backslash "d". 
	double_dot::=backslash "ddot", 
	treble_dot::=backslash "dddot". 
	quadruple_dot::=backslash "ddddot",  
	barmath::=backslash "obar", 
	over_under_things::=backslash ""(over"|"under") ("arrow"|"brace"|"leftarrow"|"leftrightarrow"|"line"|"rightarrow").
	 tilde::=backslash ""O("wide")"tilde". 
	hacek::=backslash "v". 
}=::Accents.
 
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 \TeX symbols into their HTML equivalent entities:
.As_is 	\alpha	α
\alpha
for example. I started with the Greek lower case alpha bet plus some
of the Upper-case letters.  Enjoy.

TeX_Bold_greek::=backslash "bf" TeX_Greek.
 
TeX_Hebrew::=backslash {"aleph",  "beth", "daleth", "gimel", ...  }.
 
TeX_German::=backslash ( "ss" |...).
 
TeX_Black_board_font::=backslash "bbf" capital_letter.
 
TeX_punctuation::=backslash ("colon" | "P"| ...).
 
The following is almost in alphabetical order with some structure.  for a more structured version see
.See http://www/dick/samples/comp.text.TeX.Mathematical.html
 
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" .

TeX_intention::= backslash "brace{"  declarations backslash "bracevert" predicate "}"
TeX_combinations::=backslash "choose{" ??"}"
 
 
.Close Mathematical Review Symbols
 
.Open Recommended Mapping of MATHS into \TeX Mathematical form.
 Transcribe backslashed symbols that are in the symbols listed as Mathematical Reviews Symbols as is
math2TeX::AMS_TeX->AMS_TeX=Id.
 Use tabs, ``, etc to recognize mathematical formula and place dollar signs
round them
 Map lexemes/etc as follows:
math2TeX::lexeme->lexeme|{$HELP}=
	(	"{"	+>	"\{""
	|	"}"	+>	"\}"
	|	"\{"	+>	"{\box"
	|	"\}"	+>	"}"
	|	"\<"	+>	"\l_angle??"
	|	"\>"	+>	"\r_angle_bracket"
	|	"\["	+>	"$bigr[$\hskip-1pt$\bigr[$"
	|	"\]"	+>	"$bigr[$\hskip-1pt$\bigr[$"
	|	"iff "	+>	"\iff"
	|	"==>"	+>	"\subseteq"
	|	"=>>"	+>	"\subset"
	|	"<>"	+>	"\neq"
	|	"><"	+>	"\times"
	|	"---"	+>	"\equiv"
	|	"->"	+>	"\rightarrow"
	|	"=>"	+>	"\Rightarrow"
	|	"-"	+>	"\emdash"
	|	">->"	+>	"\longmapsto"
	|	"<>->"	+>	"\hookrightarrow"
	|	"-->"	+>	"\longrightarrow"
	|	">--"	+>	$HELP
	|	">=="	+>	$HELP
	|	"|="	+>	"\models"
	|	"<="	+>	"\le"
	|	"<"	+>	"\less"
	|	">"	+>	"\gtr"
	|	">="	+>	"\ge"
 
	|	"++"	+>	HELP
	|	"+-"	+>	"\pm"
	|	"+>"	+>	HELP	
	|	"-+"	+>	"\mp"
	|	"{}"	+>	"\emptyset"
	|	"&"	+>	"\cup"
	|	"|"	+>	"\cap"
	|	"||"	+>	"\brackvert"
	|	"oo "	+>	"\infty"
	|	"and "	+>	"\land"
	|	"or "	+>	"\lor"
	|	"not "	+>	"\neg"
	
	|	"chars "	+>	"\bbfA"
	|	"Complex "	+>	"\bbfC"
	|	"Finite_Sets "	+>	"\bbfF"
	|	"Nat "	+>	"\bbfN"
	|	"rational	"	+>	"\bbfQ"
	|	"Real "	+>	"\bbfR"
	|	"Times "	+>	"\bbfT"
	|	"Int "	+>	"\bbfZ"
	|	"bottom "	+>	"\bot"
	|	"~ "	+>	"\complement"
	|	"in "	+>	"\in"
	|	"is in "	+>	"\in"
	|	"not in "	+>	HELP
	|	"is not in "	+>	HELP
	|	":."	+>	"\therefore"
	|	".:"	+>	"\because"
	|	"|-"	+>	"\vdash"
	|	"rp "	+>	"\Re"
	|	"ip "	+>	"\Im"
	|	"for all "	+>	"\forall"
	|	"for some "	+>	"\exists"
	|	"for 0 "	+>	"\nexists"
	|	"are "	+>	"\subseteq"
	|	"iff "	+>	"\iff"
	|	"for abf "	+>	HELP"
	)
math2TeX::syntax->syntax::=
	(	"Net{...}	"	+>	"{\box ... }"
	|	"Let{...}	"	+>	"Let {\box  .... }"
	|	"[ ... ]"	+>	"{\sub ... }"
	|	"^(...)"	+>	"{\sup ... }"
	|	"+(...)"	+>	"{\sum...}"
	|	"*(...)"	+>	"{\prod...}"
	|	"+[...](...)"	+>	HELP	
	|	"*[...](...)"	+>	HELP
	
	|	"||"	+>	"\bracevert"
	|	"\/{...}"	+>	"\coprod{...}"
	|	"map "	+>	"\lambda"
	|	"fun "	+>	"\lambda"
	|	"set(...)"	+>	HELP
	|	"$ "	+>	"\S"
	|	"..."	+>	"\cdots"
	|	"`...`"	+>	"$...$"
	|	"wff "	+>	"$ wff $"
	)
 Insert \par etc as needed - using directive and break information.
.Close  Recommended Mapping of MATHS into \TeX Mathematical form.
 
.Close TeX
. Notes
HELP::= "I'm not sure how to do this",
.Hole