Extension:TeX Editor

From mediawiki.org