more compact typesetting of rules