> Maybe this can go in as a temporary use of mathbg.I don't really care but some people are very touchy with visual appearance so I suggest that you get consensus first.
mathbg is now, by default, the same as background (needs doublechecking) so nobody will notice anything. Dr. Cwikel can set mathbg to something darker... Bo
