RE: [PATCH] Change default mathbg and add mathhoverbg.

[Leuven, E.]

Bo Peng wrote:
>> what is the point of $ $ and $\ $ ?
> 
> A method to force extra spaces, and more likely, entered by accident
> (and then it is impossible to remove them).

so the inset should be dissolved when these are entered...?