Formální (počítačové) jazyky, které umožňují v dokumentech používat vedle běžného textu v jazycích přirozených také syntakticky odlišitelné konstrukty (značky) určující strukturu textu, význam jeho částí atd. a rovněž dovolují s textem uchovávat jeho metadata (údaje o vzniku, obsahu, autorství, datování, právech použití...).
Mezi známé značkovací jazyky (markup languages) patří jazyky pro web (HTML, XML,...), ale i další, jako formáty sázecího systému TeX, formátovací jazyky nástrojů nroff, troff. Rovněž jazyky pro popis stránek pro tisk a prezentace jako PostScript nebo PDF mají podobný charakter (text + značky/příkazy).
Odlišující charakteristikou oproti jazykům programovacím je převaha textu nad ostatním (řídicím, deklarativním) obsahem, proto se soubory označují často jako dokumenty.
Ona převaha textu ale nemusí být v konkrétní specifické aplikaci pravda - např. XML se používá jako formát podnikové výměny (databázových, tabulkových) dat, kde je pak více značkování než textu a tento má charakter textově zaznamenaných dat jiných typů (číslo, datum, logické hodnota).