<div dir="ltr">Solved. <div><br><div>(using the add the #:style 'compact-vertical prints out perfect format.)</div><div><br></div><div>Sorry for the junk，</div></div><div><br></div><div>Thanks</div></div><div class="gmail_extra"> <br><br><div class="gmail_quote">On Mon, Jul 15, 2013 at 6:22 PM, Monica Tomson <span dir="ltr"><<a href="mailto:monica.tomson@gmail.com" target="_blank">monica.tomson@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"> <div dir="ltr">Hi, <div><br></div><div>I want to dump the reduction relations to a ps or pdf file using render-reduction-relation, but it is not as pretty as what's dumped in REPL, *especially*, texts are out of pdf margins (tags are unseenable, etc.)</div> <div><br></div><div> Is there anyway to print out relations as what is in the REPL? </div><div>or ways to adjust the width of texts in the output file?</div><div><br></div><div>Thanks,<span class="HOEnZb"><font color="#888888"><br clear="all"> <div><br></div>-- <br> <div dir="ltr">Monica</div> </font></span></div></div> </blockquote></div><br><br clear="all"><div><br></div>-- <br><div dir="ltr">Monica</div> </div>