Hello, This got released a few days ago. Installing this in tetex-3.0 is not correctly explained. HowTo ? Best, A. Mani Member, Cal. Math. Soc