Cold antihydrogen atoms have been produced recently by mixing trapped antiprotons with cold positrons. The efficiency is remarkable: more than 10% of the antiprotons form antihydrogen. Future spectroscopy of antihydrogen has the potential to provide new extremely precise tests of the fundamental symmetry between matter and antimatter. In addition, cold antihydrogen atoms might permit the first direct experiments investigating antimatter gravity. A novel method to measure the gravitational acceleration of antimatter using ultra-cold antihydrogen atoms is proposed. PACS 04.80.Cc; 32.80.Pj; 36.10.-k
