<div dir="ltr">Can you post a specific (hopefully not too big) example? (There are lots of modes and things for typesetting these, so it&#39;s hard to answer that abstractly.)<div><br></div><div>Robby</div></div><div class="gmail_extra">
<br><br><div class="gmail_quote">On Mon, Mar 4, 2013 at 3:07 PM, Jon Rafkind <span dir="ltr">&lt;<a href="mailto:rafkind@cs.utah.edu" target="_blank">rafkind@cs.utah.edu</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
The pdf rendering of my redex model does not seem to take `where&#39; clauses into account when computing the width of the pict. In a few rules this results in the where clause being cut off. Any idea what to do about it?<br>

____________________<br>
  Racket Users list:<br>
  <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a><br>
</blockquote></div><br></div>