diff options
Diffstat (limited to 'Master/texmf-dist/fonts/source/public/cm/symbol.mf')
-rw-r--r-- | Master/texmf-dist/fonts/source/public/cm/symbol.mf | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/texmf-dist/fonts/source/public/cm/symbol.mf b/Master/texmf-dist/fonts/source/public/cm/symbol.mf index 7a778624069..fd59d46546d 100644 --- a/Master/texmf-dist/fonts/source/public/cm/symbol.mf +++ b/Master/texmf-dist/fonts/source/public/cm/symbol.mf @@ -119,7 +119,7 @@ y1=y2=good.y h; y3=y4; .5[y1,y3]=.5[y5,y6]=math_axis; y5=good.y .3[y1,y3]; draw z1{x5-x1,2(y5-y1)}...z5{right}...z2{x2-x5,2(y2-y5)}; % upper bar draw z3{x6-x3,2(y6-y3)}...z6{right}...z4{x4-x6,2(y4-y6)}; % lower bar -labels(1,2,3,4); endchar; +labels(1,2,3,4,5,6); endchar; cmchar "Subset or equal to sign"; compute_spread(.45x_height#,.55x_height#); |