a gelatinous extract from any of various red algae, used in culture media, as a thickening agent in foods, etc [Malay agar]