How do thse forums implement the TeX functionality? Did it come with the vBulletin software or is it separate? I want to get a TeX tool on my server but i haven't alot of experience with it. I assume that, in these forums, there is a compiler for TeX which is called by a PHP script producing images which are then linked to the respective posts. Is this the case or is there an actual PHP based TeX compiler script?