Extract regexps for SVGTex filter and improve them