Est un système de programmation et de conception de documents qui est spécialisé dans la conception de documents mathématiques et la création en équipe. Son principal avantage est la séparation qu'il fait entre le fond et la forme.