<div class="gmail_quote">On Sun, Mar 14, 2010 at 14:59, Robby Findler <span dir="ltr">&lt;<a href="mailto:robby@eecs.northwestern.edu">robby@eecs.northwestern.edu</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
<div class="im">On Sun, Mar 14, 2010 at 6:20 AM, Matthew Flatt &lt;<a href="mailto:mflatt@cs.utah.edu">mflatt@cs.utah.edu</a>&gt; wrote:<br>
&gt; If you create a style with with &#39;exact-chars property, then the content<br>
&gt; of an element using the style will be rendered to Latex without escapes.<br>
&gt; (I&#39;ve added the missing documentation for this property.)<br>
&gt;<br>
&gt; Here&#39;s an example:<br>
&gt;<br>
&gt;  #lang scribble/base<br>
&gt;  @(require scribble/core)<br>
&gt;<br>
&gt;  @(define (math . strs)<br>
&gt;    (make-element (make-style &quot;hbox&quot; &#39;(exact-chars))<br>
&gt;                  (append &#39;(&quot;$&quot;) strs &#39;(&quot;$&quot;))))<br>
&gt;<br>
&gt;  @math{\lambda^2=\sum_i{5+i}}<br>
&gt;<br>
&gt; The &quot;hbox&quot; in that example could be any suitable Latex command. For<br>
&gt; &#39;exact-chars to work, the style&#39;s name has to be some command.<br>
<br>
</div>Maybe \ensuremath{} is the right choice here?<br>
<font color="#888888"><br></font></blockquote><div><br>Excellent! Exactly what I needed. Thanks.<br> </div></div><br>