Il 20/03/2012 11:33, Paolo Carlini ha scritto:
> On 03/20/2012 10:22 AM, Paolo Bonzini wrote:
>> I think \$$ is better. Besides that it looks good.
> Thanks for the review. Yesterday, when Benjamin had a look, I decided to
> go ahead and just commit the patch as posted (after having double
> checked that indeed it worked for me), thus no escaping. But I noticed
> that nearby we have got quite a few unescaped $$, should we change all
> of them?
As you prefer... apparently they do not cause trouble, so you might as
well not care.