[hmath-commits] org.hartmath.tex2mml/src/org/hartmath/tex2mml TeX2MathMLFactory.java,1.1,1.2
Status: Pre-Alpha
Brought to you by:
jsurfer
|
From: <js...@us...> - 2004-02-15 13:21:18
|
Update of /cvsroot/hmath/org.hartmath.tex2mml/src/org/hartmath/tex2mml In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv28047/src/org/hartmath/tex2mml Modified Files: TeX2MathMLFactory.java Log Message: Initial TeX to MathML module Index: TeX2MathMLFactory.java =================================================================== RCS file: /cvsroot/hmath/org.hartmath.tex2mml/src/org/hartmath/tex2mml/TeX2MathMLFactory.java,v retrieving revision 1.1 retrieving revision 1.2 diff -C2 -d -r1.1 -r1.2 *** TeX2MathMLFactory.java 15 Feb 2004 12:58:33 -0000 1.1 --- TeX2MathMLFactory.java 15 Feb 2004 13:14:05 -0000 1.2 *************** *** 212,216 **** CONSTANT_SYMBOLS.put("rceiling", new Operator(toEntity('\u2309'), CONSTANT)); CONSTANT_SYMBOLS.put("int", new Operator(toEntity('\u222B'), CONSTANT)); ! // {input:"\\ ", tag:"mo", output:"\u00A0"}, // {input:"CC", tag:"mo", output:"\u2102"}, // \mathbf{C} --- 212,230 ---- CONSTANT_SYMBOLS.put("rceiling", new Operator(toEntity('\u2309'), CONSTANT)); CONSTANT_SYMBOLS.put("int", new Operator(toEntity('\u222B'), CONSTANT)); ! ! CONSTANT_SYMBOLS.put("circ", new Operator("∘", CONSTANT)); ! CONSTANT_SYMBOLS.put("bigcirc", new Operator("◯", CONSTANT)); ! CONSTANT_SYMBOLS.put("wr", new Operator("≀", CONSTANT)); ! CONSTANT_SYMBOLS.put("odot", new Operator("⊙", CONSTANT)); ! CONSTANT_SYMBOLS.put("uplus", new Operator("⊎", CONSTANT)); ! CONSTANT_SYMBOLS.put("circ", new Operator("∘", CONSTANT)); ! CONSTANT_SYMBOLS.put("circ", new Operator("∘", CONSTANT)); ! CONSTANT_SYMBOLS.put("sqcup", new Operator("⊔", CONSTANT)); ! CONSTANT_SYMBOLS.put("sqcap", new Operator("⊓", CONSTANT)); ! CONSTANT_SYMBOLS.put("rhd", new Operator("⊳", CONSTANT)); ! CONSTANT_SYMBOLS.put("lhd", new Operator("⊲", CONSTANT)); ! CONSTANT_SYMBOLS.put("unrhd", new Operator("⊵", CONSTANT)); ! CONSTANT_SYMBOLS.put("unlhd", new Operator("⊴", CONSTANT)); ! // {input:"\\ ", tag:"mo", output:"\u00A0"}, // {input:"CC", tag:"mo", output:"\u2102"}, // \mathbf{C} |