stex – An Infrastructure for Semantic Preloading of LaTeX Documents

The sTeX pack­age col­lec­tion is a ver­sion of TeX/LaTeX that al­lows
to markup TeX/LaTeX doc­u­ments se­man­ti­cally with­out leav­ing the doc­u­ment
for­mat, es­sen­tially turn­ing it into a doc­u­ment for­mat for math­e­mat­i­cal
knowl­edge man­age­ment (MKM).