MARINE Acid, an old name given to muriatic acid, which see in CHEMISTRY Index.