20 Jun
2011
20 Jun
'11
9: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 -----------------------------------------------------------------