On Tue, Jan 8, 2013 at 5:05 PM, Matthew Flatt <span dir="ltr">&lt;<a href="mailto:mflatt@cs.utah.edu" target="_blank">mflatt@cs.utah.edu</a>&gt;</span> wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div class="HOEnZb"><div class="h5">The `#&#39; character is not an escape character in Scribble. It&#39;s treated</div></div>
as literal text, just like the letter &quot;a&quot; or a comma.<br></blockquote><div><br></div><div>Oh I see.</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

Does simply adding the escape character `@&#39; in front of `#reader&#39; do<br>
what you want?</blockquote><div><br></div><div>Yes that is exactly it, thank you.</div></div>