The XITS fonts provide a Times-like serif typeface for mathematical and scientific publishing. They provide a version of the STIX fonts enriched with the OpenType MATH extension, making them suitable for high quality mathematical typesetting with XeTeX and LuaTeX. XITS fonts are free and open source.
In this paper, we do exactly what the title implies: prove the Čebotarev Density Theorem. This is an extremely valuable theorem because it is a vast generalization of Dirichlet's Theorem on primes in an arithmetic progression. Our theorem goes even further to the case of other number fields; we will show that the prime ideals in an imaginary quadratic field K are virtually equidistributed among the conjugacy classes of Artin symbols in the Galois group of a Galois extension L over K. Note that L need not be abelian over K!