The world map, with TEX-related annotations, uses a .jpg graphic of the world,
in a Robinson projection. The locations of 1200+ cities and towns
are computed from latitude/longitude coordinates read from
several different files.
It is also available as a PDF document.
