Logo for a TeX editor