6 Nov
2009
6 Nov
'09
1:50 a.m.
Dear Aditya, Thank you for the \def\dddot. What do mean attached patch? diff --git a/char-def.lua b/char-def.lua index 63a0909..3aec401 100644 --- a/char-def.lua +++ b/char-def.lua @@ -50145,6 +50145,8 @@ characters.data={ description="COMBINING THREE DOTS ABOVE", direction="nsm", linebreak="cm", + mathclass="accent", + mathname="dddot", unicodeslot=0x20DB, }, [0x20DC]={ The above lines are all that I got. Would you please tell me in detail how to apply the patch? Thank you again. Dalyoung