1986年に国際規格（ISO8879）に制定された電子的な文書を扱うための言語。文書の論理構造や意味構造をマークで記述することで表現する。文書データの多角的利用と異機種間での文書交換を目的とした文書の表現形式である。