package org.util.activemath;
   
   import java.util.Hashtable;
   
   
   
   public class JomeConstants{
   	
   	public final static  Hashtable SYMBOLS = getSymbols();  
  	
  	private static Hashtable getSymbols(){
  		Hashtable table = new Hashtable();
  		table.put("//cup", new Symbol("\u222A", "∪"));
  		table.put("//cap", new Symbol("\u2229", "∩"));
  		table.put("//Theta", new Symbol("\u0398", "Θ"));
  		table.put("//theta", new Symbol("\u03B8", "θ"));
  		table.put("//alpha", new Symbol("\u03B1", "α"));
  		table.put("//beta", new Symbol("\u03B2", "β"));
  		table.put("//gamma",new Symbol("\u03B3", "γ"));
  		table.put("//delta", new Symbol ("\u03B4", "δ"));
  		table.put("//epsilon", new Symbol ("\u03B5", "ε"));
  		table.put("//zeta", new Symbol ("\u03B6", "ζ"));		
  		table.put("//Gamma", new Symbol ("\u0393", "Γ"));
  		table.put("//Delta", new Symbol ("\u0394", "Δ"));
  		table.put("//kappa", new Symbol ("\u03BA", "κ"));
  		table.put("//lambda", new Symbol ("\u03BB", "λ"));
  		table.put("//mu", new Symbol ("\u03BC", "μ"));
  		table.put("//nu", new Symbol ("\u03BD", "ν"));
  		table.put("//xi", new Symbol ("\u03BE", "ξ"));
  		table.put("//Xi", new Symbol ("\u039E", "Ξ"));
  		table.put("//Pi", new Symbol ("\u03A0", "Π"));
  		table.put("//pi", new Symbol ("\u03C0", "π"));
  		table.put("//sigma", new Symbol ("\u03C2", "ς"));
  		table.put("//Sigma", new Symbol ("\u03A3", "Σ"));
  		table.put("//Phi", new Symbol ("\u03A6", "Φ"));
  		table.put("//phi", new Symbol ("\u03C6", "φ"));
  		table.put("//Omega", new Symbol ("\u03A9", "Ω"));
  		table.put("//omega", new Symbol ("\u03C9", "ω"));
  		table.put("//emptyset", new Symbol ("\u2205", "∅"));
  		table.put("//nabla", new Symbol ("\u2207", "∇"));
  		table.put("//angle", new Symbol ("\u299F", "⦟"));
  		table.put("//angmsd", new Symbol ("\u2221", "∡"));
  		table.put("//circ", new Symbol ("\u2218", "∘"));
  		table.put("//prime", new Symbol ("\u2032", "′"));
  		
  		table.put("//forall", new Symbol ("\u2200", "∀"));
  		table.put("//exist", new Symbol ("\u2203", "∃"));
  		table.put("//partial", new Symbol ("\u2202", "∂"));
  		table.put("//infty", new Symbol ("\u221E", "∞"));
  		table.put("//OverBar", new Symbol ("\u00AF", "¯"));		
  		table.put("//sum", new Symbol ("\u2211", "∑"));		
  		table.put("//prod", new Symbol ("\u220F", "∏"));		
  		table.put("//,", new Symbol (",", ","));
  		table.put("//{", new Symbol ("{", "{"));		
  		table.put("//}", new Symbol ("}", "}"));		
  		table.put("////", new Symbol ("//", "//"));		
  		table.put("//times", new Symbol ("\u00D7", "×"));
  		table.put("//prec", new Symbol ("\u227A", "≺"));
  		table.put("//preceq", new Symbol ("\u227C", "≼"));
  		table.put("//succ", new Symbol ("\u227B", "≻")); 
  		table.put("//succeq", new Symbol ("\u227D", "≽"));
  		table.put("//subseteq", new Symbol ("\u2286", "⊆"));		
  		table.put("//nsubseteq", new Symbol ("\u2288", "⊈"));
  		table.put("//subset", new Symbol ("\u2282", "⊂"));		
  		table.put("//nsubset", new Symbol ("\u2284", "⊄"));
  		table.put("//leq", new Symbol ("\u2264", "≤"));		
  		table.put("//geq", new Symbol ("\u2265", "≥"));		
  		table.put("//neq", new Symbol ("\u2260", "≠"));		
  		table.put("//sim", new Symbol ("\u223C", "∼"));		
  		table.put("//equiv", new Symbol ("\u2261", "≡"));
  		table.put("//not", new Symbol ("\u2310", "⌐"));
  		table.put("//wedge", new Symbol ("\u2227", "∧"));		
  		table.put("//vee", new Symbol ("\u2228", "∨"));		
  		table.put("//Rightarrow", new Symbol ("\u21D2", "⇒"));		
  		
  				
  		
  		return table; 
  	}
  	
  	public static class Symbol{
  		private String javaCode;
  		private String htmlCode;
  		
  		public Symbol(String javaCode, String htmlCode){
  			this.javaCode = javaCode;
  			this.htmlCode = htmlCode;
  		}
  		
  		public String toString(){
  			return javaCode;
  		}
  		
  		public String getUniCode(){
  			return htmlCode;
  		}
  		
  	}
  }