add an error check

related to PR 13346
fix typesetting for empty reduction relations

closes PR 13346