Nicolas Goaziou <[email protected]> writes: > Maybe "* * *" instead of "***"? Any better idea?
Maybe ~***~. But it has side-effects of course. Using \star in place of * is another easy possibility. —Rasmus -- I almost cut my hair, it happened just the other day
