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
___________________________________________________________________________________
If your question is of interest to others as well, please add an entry to the
Wiki!
maillist : ntg-context@ntg.nl / http://www.ntg.nl/mailman/listinfo/ntg-context
webpage : http://www.pragma-ade.nl / http://tex.aanhet.net
archive : http://foundry.supelec.fr/projects/contextrev/
wiki : http://contextgarden.net
___________________________________________________________________________________