a:4:{i:0;s:6:"HLaTeX";i:1;s:9:"FontForge";i:2;s:5:"LaTeX";i:3;s:3:"TeX";}