Skip to content

Commit 7d5a570

Browse files
dpvcdpvc
committed
Fix \underline placement issues (by switching from U+2212 (minus) to U+2013 (en dash), since minus has extra height and depth). Resolves issue #1686.
1 parent afb499f commit 7d5a570

File tree

3 files changed

+19
-14
lines changed

3 files changed

+19
-14
lines changed

‎unpacked/jax/output/CommonHTML/fonts/TeX/fontdata.js

Lines changed: 11 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -389,6 +389,10 @@
389389
{
390390
dir: H, HW: [[.333+.25,MAIN],[.555+.25,SIZE1],[1+.33,SIZE2],[1.443+.33,SIZE3],[1.887,SIZE4]]
391391
},
392+
0x2013: // en-dash
393+
{
394+
dir: H, HW: [[.5,MAIN]], stretch: {rep:[0x2013,MAIN]}
395+
},
392396
0x2016: // vertical arrow extension
393397
{
394398
dir: V, HW: [[.602,SIZE1],[1,MAIN,null,0x2225]], stretch: {ext:[0x2225,MAIN]}
@@ -531,22 +535,23 @@
531535
},
532536
0x002D: {alias: 0x2212, dir:H}, // minus
533537
0x005E: {alias: 0x02C6, dir:H}, // wide hat
534-
0x005F: {alias: 0x2212, dir:H}, // low line
538+
0x005F: {alias: 0x2013, dir:H}, // low line
535539
0x007E: {alias: 0x02DC, dir:H}, // wide tilde
536540
0x02C9: {alias: 0x00AF, dir:H}, // macron
537541
0x0302: {alias: 0x02C6, dir:H}, // wide hat
538542
0x0303: {alias: 0x02DC, dir:H}, // wide tilde
539543
0x030C: {alias: 0x02C7, dir:H}, // wide caron
540-
0x0332: {alias: 0x2212, dir:H}, // combining low line
541-
0x2015: {alias: 0x2212, dir:H}, // horizontal line
542-
0x2017: {alias: 0x2212, dir:H}, // horizontal line
544+
0x0332: {alias: 0x2013, dir:H}, // combining low line
545+
0x2014: {alias: 0x2013, dir:H}, // em-dash
546+
0x2015: {alias: 0x2013, dir:H}, // horizontal line
547+
0x2017: {alias: 0x2013, dir:H}, // horizontal line
543548
0x203E: {alias: 0x00AF, dir:H}, // overline
544549
0x20D7: {alias: 0x2192, dir:H}, // combinining over right arrow (vector arrow)
545550
0x2215: {alias: 0x002F, dir:V}, // division slash
546551
0x2329: {alias: 0x27E8, dir:V}, // langle
547552
0x232A: {alias: 0x27E9, dir:V}, // rangle
548-
0x23AF: {alias: 0x2212, dir:H}, // horizontal line extension
549-
0x2500: {alias: 0x2212, dir:H}, // horizontal line
553+
0x23AF: {alias: 0x2013, dir:H}, // horizontal line extension
554+
0x2500: {alias: 0x2013, dir:H}, // horizontal line
550555
0x2758: {alias: 0x2223, dir:V}, // vertical separator
551556
0x3008: {alias: 0x27E8, dir:V}, // langle
552557
0x3009: {alias: 0x27E9, dir:V}, // rangle

‎unpacked/jax/output/HTML-CSS/fonts/TeX/fontdata.js

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -517,13 +517,13 @@
517517
},
518518
0x002D: {alias: 0x2212, dir:H}, // minus
519519
0x005E: {alias: 0x02C6, dir:H}, // wide hat
520-
0x005F: {alias: 0x2212, dir:H}, // low line
520+
0x005F: {alias: 0x2013, dir:H}, // low line
521521
0x007E: {alias: 0x02DC, dir:H}, // wide tilde
522522
0x02C9: {alias: 0x00AF, dir:H}, // macron
523523
0x0302: {alias: 0x02C6, dir:H}, // wide hat
524524
0x0303: {alias: 0x02DC, dir:H}, // wide tilde
525525
0x030C: {alias: 0x02C7, dir:H}, // wide caron
526-
0x0332: {alias: 0x2212, dir:H}, // combining low line
526+
0x0332: {alias: 0x2013, dir:H}, // combining low line
527527
0x2014: {alias: 0x2013, dir:H}, // em-dash
528528
0x2015: {alias: 0x2013, dir:H}, // horizontal line
529529
0x2017: {alias: 0x2013, dir:H}, // horizontal line
@@ -532,8 +532,8 @@
532532
0x2215: {alias: 0x002F, dir:V}, // division slash
533533
0x2329: {alias: 0x27E8, dir:V}, // langle
534534
0x232A: {alias: 0x27E9, dir:V}, // rangle
535-
0x23AF: {alias: 0x2212, dir:H}, // horizontal line extension
536-
0x2500: {alias: 0x2212, dir:H}, // horizontal line
535+
0x23AF: {alias: 0x2013, dir:H}, // horizontal line extension
536+
0x2500: {alias: 0x2013, dir:H}, // horizontal line
537537
0x2758: {alias: 0x2223, dir:V}, // vertical separator
538538
0x3008: {alias: 0x27E8, dir:V}, // langle
539539
0x3009: {alias: 0x27E9, dir:V}, // rangle

‎unpacked/jax/output/SVG/fonts/TeX/fontdata.js

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -512,13 +512,13 @@
512512
},
513513
0x002D: {alias: 0x2212, dir:H}, // minus
514514
0x005E: {alias: 0x02C6, dir:H}, // wide hat
515-
0x005F: {alias: 0x2212, dir:H}, // low line
515+
0x005F: {alias: 0x2013, dir:H}, // low line
516516
0x007E: {alias: 0x02DC, dir:H}, // wide tilde
517517
0x02C9: {alias: 0x00AF, dir:H}, // macron
518518
0x0302: {alias: 0x02C6, dir:H}, // wide hat
519519
0x0303: {alias: 0x02DC, dir:H}, // wide tilde
520520
0x030C: {alias: 0x02C7, dir:H}, // wide caron
521-
0x0332: {alias: 0x2212, dir:H}, // combining low line
521+
0x0332: {alias: 0x2013, dir:H}, // combining low line
522522
0x2014: {alias: 0x2013, dir:H}, // em-dash
523523
0x2015: {alias: 0x2013, dir:H}, // horizontal line
524524
0x2017: {alias: 0x2013, dir:H}, // horizontal line
@@ -527,8 +527,8 @@
527527
0x2215: {alias: 0x002F, dir:V}, // division slash
528528
0x2329: {alias: 0x27E8, dir:V}, // langle
529529
0x232A: {alias: 0x27E9, dir:V}, // rangle
530-
0x23AF: {alias: 0x2212, dir:H}, // horizontal line extension
531-
0x2500: {alias: 0x2212, dir:H}, // horizontal line
530+
0x23AF: {alias: 0x2013, dir:H}, // horizontal line extension
531+
0x2500: {alias: 0x2013, dir:H}, // horizontal line
532532
0x2758: {alias: 0x2223, dir:V}, // vertical separator
533533
0x3008: {alias: 0x27E8, dir:V}, // langle
534534
0x3009: {alias: 0x27E9, dir:V}, // rangle

0 commit comments

Comments
 (0)