AFTER-DAMP, in coal-mining, a name given to the poi sonous choking gas which forms after a mine explosion. It mainly consists of carbon dioxide, and is also known as choke damp. (See CHOKE-DAMP.)