In Latex (and without --predLogic), format rules with showMath