{"version":3,"file":"tex-size4.js","sourceRoot":"","sources":["../../../../../ts/output/chtml/fonts/tex/tex-size4.ts"],"names":[],"mappings":";;;AAgBA,iDAAuD;AACvD,uEAAwE;AAE3D,QAAA,QAAQ,GAAiB,IAAA,oBAAM,EAAC,uBAAI,EAAE;IAC/C,MAAM,EAAE,EAAC,CAAC,EAAE,GAAG,EAAC;IAChB,MAAM,EAAE,EAAC,CAAC,EAAE,QAAQ,EAAC;IACrB,MAAM,EAAE,EAAC,CAAC,EAAE,QAAQ,EAAC;IACrB,MAAM,EAAE,EAAC,CAAC,EAAE,QAAQ,EAAC;IACrB,MAAM,EAAE,EAAC,CAAC,EAAE,QAAQ,EAAC;IACrB,MAAM,EAAE,EAAC,CAAC,EAAE,cAAc,EAAC;IAC3B,MAAM,EAAE,EAAC,CAAC,EAAE,cAAc,EAAC;CAC9B,CAAC,CAAC"}