On Mon, 20 Jun 2011, Hans Hagen wrote:

> On 20-6-2011 7:50, Aditya Mahajan wrote:
>
>> Could we just add a \textstar in char-def.lua? (And maybe use that to
>> redefine \symbol[star])
>
> what unicode?

22C6, same as \star. Another option is to define symbol[star] directly 
using ⋆ (0x22C6 glyph).

Aditya