(Digesting /Users/kohlhase/stc/stex/example/background/reals... (Processing reals.tex... 0.03 sec) 0.04 sec) (Building....... 0.03 sec) (Rewriting... 0.00 sec) (Math Parsing...8 formulae ...[1][2][3][4][5][6][7][8] Math parsing succeeded: ltx:XMArg: 3/3 ltx:XMath: 8/8 0.00 sec) (Finalizing... 0.00 sec) Conversion complete: No obvious problems.