Rasmus <ras...@gmx.us> writes: > Maybe ~***~. But it has side-effects of course. Using \star in place > of * is another easy possibility.
I introduced \nbsp at some point, but there were complaints from users not prettifying entities. So I guess \star is not an option either. I have no opinion about ~***~. Regards,
