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. Paolo
