![](https://secure.gravatar.com/avatar/49e63acb01f2ca80efce7eed08310ce8.jpg?s=120&d=mm&r=g)
Dalyoung wrote:
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?
open char-def.lua, search for "unicodeslot=0x20DB" and add the two + lines before that line ----------------------------------------------------------------- Hans Hagen | PRAGMA ADE Ridderstraat 27 | 8061 GH Hasselt | The Netherlands tel: 038 477 53 69 | fax: 038 477 53 74 | www.pragma-ade.com | www.pragma-pod.nl -----------------------------------------------------------------