Syntaxe TeXového dokumentu (včetně matematických vzorců), pochopitelně existuje a je kompletně popsána v TeX Booku. Nevidím proto důvod pro tvrzení, že něco takového neexistuje. Tvorba matematických vzorců je v TeXu vcelku jasně daná (je to množina příkazů, které se mohou umístit mezi dvě značky $, což je IMHO definice postačující.