//\macro(Omega,ω)
//\macro(Omega,ω)
//\macro(times,×)
\macro(red,<font color=red>)
\macro(green,<font color="#00FF33">)
\macro(blue,<font color=blue>)
\macro(yellow,<font color="#FFE000">)
\macro(Alpha,&#913;)
\macro(Beta,&#914;)
\macro(Delta,&#916;)
\macro(Epsilon,&#917;)
\macro(Eta,&#919;)
\macro(Gamma,&#915;)
\macro(Iota,&#921;)
\macro(Kappa,&#922)
\macro(Lambda,&#923)
\macro(lambda,&#955)
\macro(Leftarrow,&#8656;)
\macro(Omega,&#937;)
\macro(rho,&#961;)
\macro(Pi,&#928;)
\macro(pi,&#960;)
\macro(Rightarrow,&#8658;)
\macro(Leftarrow,&#8656;)
\macro(LRarrow,&#8660;)
\macro(Sigma,&#931;)
\macro(Sigma,&#931;)
\macro(Sum,&#8721;)
\macro(sum,&#8721;)
\macro(Theta,&#920;)
\macro(Theta,&#927;)
\macro(Zeta,&#918;)
\macro(alpha,&#945)
\macro(beta,&#946)
\macro(cap,&#8745;)
\macro(cdot,&#183;)
\macro(cup,union)
\macro(union, U )
\macro(delta,&#948)
\macro(epsilon,&#949)
\macro(equiv,&#8801;)
\macro(eta,&#951)
\macro(gamma,&#947)
\macro(ge,&#8805;)
\macro(ge,&#8805;)
\macro(in,&#8712;)
\macro(infty,&#8734;)
\macro(iota,&#953)
\macro(kappa,&#954)
\macro(le,&#8804;)
\macro(leftarrow,&#8592;)
\macro(ne,&#8800;)
\macro(notin,&#8713;)
\macro(forall,&#8704;)
\macro(exists,&#8707;)
\macro(omega,&#969;)
\macro(rightarrow,&#8594;)
\macro(sp, &nbsp; &nbsp; &nbsp; )
\macro(subset,&#8834;)
\macro(subseteq,&#8838;)
\macro(lceil,&#8968;)
\macro(rceil,&#8969;)
\macro(oplus,&#8853;)
\macro(theta,&#952)
\macro(times,&#215;)
//\macro(times,&#8719;)
\macro(zeta,&#950)
\macro(claim,<b>Claim:</> )
\macro(proof,<b>Proof:</> )
\macro(definition,<b>Definition:</> )