diff options
author | Hans Hagen <pragma@wxs.nl> | 2023-02-06 19:14:14 +0100 |
---|---|---|
committer | Context Git Mirror Bot <phg@phi-gamma.net> | 2023-02-06 19:14:14 +0100 |
commit | 0d0874ba797ee44f9fa53ed0fe95d7a863bf2f1b (patch) | |
tree | ea9c82877dd7a14db92e964277551370ecc156cb /tex/context/base/mkiv/math-vfu.lua | |
parent | 83667a906d7cac842635bc5243db70f55b346562 (diff) | |
download | context-0d0874ba797ee44f9fa53ed0fe95d7a863bf2f1b.tar.gz |
2023-02-06 17:57:00
Diffstat (limited to 'tex/context/base/mkiv/math-vfu.lua')
-rw-r--r-- | tex/context/base/mkiv/math-vfu.lua | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/tex/context/base/mkiv/math-vfu.lua b/tex/context/base/mkiv/math-vfu.lua index f282005fc..5fe9738a2 100644 --- a/tex/context/base/mkiv/math-vfu.lua +++ b/tex/context/base/mkiv/math-vfu.lua @@ -284,10 +284,9 @@ local function dots(main,characters,id,size,unicode) } end elseif unicode == 0x22EE then - -- weird height ! characters[unicode] = { width = w, - height = h+(1.4)*size, + height = h+0.8*size, depth = 0, commands = { push, push, slot, pop, up4size, push, slot, pop, up4size, slot, pop, @@ -296,7 +295,7 @@ local function dots(main,characters,id,size,unicode) elseif unicode == 0x22F1 then characters[unicode] = { width = 3*w + 6*size/18, - height = 1.5*size, + height = 0.7*size, depth = 0, commands = { push, @@ -313,7 +312,7 @@ local function dots(main,characters,id,size,unicode) elseif unicode == 0x22F0 then characters[unicode] = { width = 3*w + 6*size/18, - height = 1.5*size, + height = 0.7*size, depth = 0, commands = { push, @@ -422,7 +421,7 @@ local function stack(main,characters,id,size,unicode,u1,d12,u2) local mu = size/18 characters[unicode] = { width = w1, - height = h1 + h2 + d12, + height = h1 + h2 + d12*mu, depth = d1, commands = { { "slot", id, u1 }, |