HTML to LaTeX converter used in CVsIntellect