![](https://secure.gravatar.com/avatar/49e63acb01f2ca80efce7eed08310ce8.jpg?s=120&d=mm&r=g)
20 Jun
2011
20 Jun
'11
1:37 p.m.
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? ----------------------------------------------------------------- Hans Hagen | PRAGMA ADE Ridderstraat 27 | 8061 GH Hasselt | The Netherlands tel: 038 477 53 69 | voip: 087 875 68 74 | www.pragma-ade.com | www.pragma-pod.nl -----------------------------------------------------------------