On Wed, Jul 31, 2002 at 02:05:55PM +0200, Lars Gullik Bjønnes wrote: > | No, it was not \emptyset, it was the slashed O, which seem to be quite > | different. > > But I am pretty sure that was the intention.
Hm. I could bind M-m / O to insert an \emptyset. Or even use that half-baked auto-correction feature... Andre' -- Those who desire to give up Freedom in order to gain Security, will not have, nor do they deserve, either one. (T. Jefferson)
