math mode munger plays badly with inference rules

[xrchz]

If one uses the rule or stackedrule options with the math mode munger, it is liable to produced a broken tex file due to linebreaks (\\) appearing inside the arguments of \infer, where they are not allowed.

A workaround I have found is to also use the width option to set the width to a very high number in the hope of stopping the pretty-printer from inserting linebreaks.This is obviously not ideal.

Want to back this issue? Post a bounty on it! We accept bounties via Bountysource.