ну, насколько я помню это что-то типа скриптов, то есть ты пишешь текст-программу типа <команда><текст> а потом запускаешь компилятор(или интерпретатор - что там есть не помню) и он тебе выдает красиво отформатированной(или некрасиво - в зависимости от команды
) текст. Пакет применятся в типографиях насколько я помню, еще у нас в универе на нем некоторое извращенцы пишут методички.. Насчет формул чистая правда - также набираются с помощью команд и на выходе получается красивая формулка. Эээ.. ну там много всего и вся можно делать, точно не понмю, могу посмотреть - у меня давно курсовая по Тех'у была
Мне пришлось для этого Unix ставить... А вообще информации в интернете много по Tex'у - ищите и обрящете
PS извините, наверное ничего не понятно, я обьяснять никогда не умела