21 Jun
2011
21 Jun
'11
8:48 p.m.
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