//Java Script written by Mike Malak
var image_base;
image_base = "../../images/symbols/";
var use_symbol_font = (is_win||
		       is_mac);
function symbol(c, i, w, h, a)
  {
    if ((is_win && (c != null)) || (is_mac && (c != null)))
      {
	document.write('<font face="symbol">' + c + '</font>');
      }
    else
      {
	document.write('<img src="' + image_base + i + '" ');
	document.write('width="' + w + '" height="' + h + '" ');
	if (a != null) document.write('align="' + a + '" ');
	document.write('border="0"></img>');
      }
  }

function alpha() { symbol("a", "alpha.gif", 10, 9); }
function beta() { symbol("b", "beta.gif", 10, 18, "absbottom"); }
function gamma() { symbol("g", "gamma.gif", 9, 13, "absbottom"); }
function delta() { symbol("d", "delta.gif", 7, 14); }
function epsilon() { symbol(null, "epsilon.gif", 6, 9); }
function varepsilon() { symbol("e", "varepsilon.gif", 7, 9); }
function zeta() { symbol("z", "zeta.gif", 7, 18, "absbottom"); }
function eta() { symbol("h", "eta.gif", 8, 13, "absbottom"); }
function theta() { symbol("q", "theta.gif", 7, 14); }
function vartheta() { symbol("J", "vartheta.gif", 8, 14); }
function iota() { symbol("i", "iota.gif", 5, 9); }
function kappa() { symbol("k", "kappa.gif", 9, 9); }
function lambda() { symbol("l", "lambda.gif", 8, 14); }
function mu() { symbol("m", "mu.gif", 10, 13, "absbottom"); }
function nu() { symbol("n", "nu.gif", 8, 9); }
function xi() { symbol("x", "xi.gif", 6, 18, "absbottom"); }
function pi() { symbol("p", "pi.gif", 9, 9); }
function varpi() { symbol("v", "varpi.gif", 14, 9); }
function rho() { symbol("r", "rho.gif", 10, 14, "absbottom"); }
function varrho() { symbol(null, "varrho.gif", 9, 13, "absbottom"); }
function sigma() { symbol("s", "sigma.gif", 9, 9); }
function varsigma() { symbol("V", "varsigma.gif", 7, 11, "absbottom"); }
function tau() { symbol("t", "tau.gif", 8, 9); }
function upsilon() { symbol("u", "upsilon.gif", 8, 9); }
function phi() { symbol("f", "phi.gif", 9, 18, "absbottom"); }
function varphi() { symbol("j", "varphi.gif", 9, 13, "absbottom");}
function chi() { symbol("c", "chi.gif", 10, 13); }
function psi() { symbol("y", "psi.gif", 10, 18, "absbottom"); }
function omega() { symbol("w", "omega.gif", 10, 9); }
function Gamma() { symbol("G", "UGamma.gif", 10, 14); }
function Delta() { symbol("D", "UDelta.gif", 13, 14); }
function Theta() { symbol("Q", "UTheta.gif", 12, 14); }
function Lambda() { symbol("L", "ULambda.gif", 11, 14); }
function Xi() { symbol("X", "UXi.gif", 10, 14); }
function Pi() { symbol("P", "UPi.gif", 14, 14); }
function Sigma() { symbol("S", "USigma.gif", 11, 14); }
function Upsilon() { symbol("U", "UUpsilon.gif", 12, 14); }
function Phi() { symbol("F", "UPhi.gif", 12, 14); }
function Psi() { symbol("Y", "UPsi.gif", 12, 14); }
function Omega() { symbol("W", "UOmega.gif", 11, 14); }
function aleph() { symbol("&#192;", "aleph.gif", 10, 14); }
function del() { symbol("&#182;", "del.gif", 9, 14); }
function Del() { symbol("&#209;", "UDel.gif", 14, 14); }
function emf() { symbol(null, "emf.gif", 10, 15); }
function hbar() { symbol(null, "hbar.gif", 10, 14); }
function imaginary() { symbol("&#193;", "imaginary.gif", 13, 14); }
function imath() { symbol(null, "imath.gif", 6, 9); }
function jmath() { symbol(null, "jmath.gif", 8, 13, "absbottom"); }
function ell() { symbol(null, "ell.gif", 7, 14); }
function emptyset() { symbol("&#198;", "emptyset.gif", 8, 18); }
function wp() { symbol("&#195;", "weierstrass.gif", 11, 14, "absbottom"); }
function weierstrass() { wp(); }
function coprod() { symbol(null, "coprod.gif", 12, 14); }
function real() { symbol("&#194;", "real.gif", 13, 15); }
function infinity() { symbol("&#163;", "infinity.gif", 18, 9); }
function forall() { symbol("&#034;", "forall.gif", 11, 14); }
function exists() { symbol("&#036;", "exists.gif", 9, 14); }
function ominus() { symbol(null, "ominus.gif", 14, 14, "absmiddle"); }
function oplus() { symbol("&#197;", "oplus.gif", 13, 14, "absmiddle"); }
function oslash() { symbol(null, "oslash.gif", 14, 14, "absmiddle"); }
function odot() { symbol(null, "odot.gif", 9, 9, "absmiddle"); }
function otimes() { symbol("&#196;", "otimes.gif", 9, 9, "absmiddle"); }

function ne() { symbol(null, "ne.gif", 13, 20, "absmiddle"); }
function le() { symbol(null, "le.gif", 12, 16, "absmiddle"); }
function ge() { symbol(null, "ge.gif", 12, 16, "absmiddle"); }
function neq() { symbol(null, "ne.gif", 13, 20, "absmiddle"); }
function leq() { symbol(null, "le.gif", 12, 16, "absmiddle"); }
function geq() { symbol(null, "ge.gif", 12, 16, "absmiddle"); }
function pm() { symbol(null, "pm.gif", 13, 14, "absmiddle"); }

function spade() { symbol("&#170;", "spade.gif", 13, 18); }
function heart() { symbol("&#169;", "heart.gif", 13, 15); }
function club() { symbol("&#167;", "club.gif", 14, 18); }
function diamond() { symbol("&#168;", "diamond.gif", 13, 17); }
function flat() { symbol(null, "flat.gif", 5, 15); }
function natural() { symbol(null, "natural.gif", 5, 20); }
function sharp() { symbol(null, "sharp.gif", 6, 20); }
function integral() { symbol(null, "int.gif", 12, 31, "absmiddle"); }
function iint() { symbol(null, "iint.gif", 19, 31, "absmiddle"); }
function iiint() { symbol(null, "iiint.gif", 26, 31, "absmiddle"); }
function oint() { symbol(null, "oint.gif", 18, 46, "absmiddle"); }
function oiint() { symbol(null, "oiint.gif", 27, 46, "absmiddle"); }