<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Tue, Aug 22, 2017 at 1:02 PM, Steven Boozer <span dir="ltr"><<a href="mailto:sboozer@uchicago.edu" target="_blank">sboozer@uchicago.edu</a>></span> wrote:<span style="font-family:"Courier New""> <br></span><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div link="blue" vlink="purple" lang="EN-US"><div class="m_-4609557408702112818WordSection1">
<p class="MsoNormal" style="margin-left:.2in;line-height:12.0pt">
<span style="font-family:"Courier New"">For physically mixing something, use <b>DuD</b> “mix, stir”. </span></p></div></div></blockquote><div><br></div><div>{toH!} I had forgotten about this word. Can it be used more generally outside the context of cooking?<br></div></div><br></div></div>