Oh I see. That's probably fine then. We should figure out what the best use is for that and add it to our latex() printer.