From 46e70e3c2a18392cc3720ac0f97a00042ef536c9 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sun, 30 Dec 2012 21:10:49 -0600 Subject: [PATCH] =?UTF-8?q?tweak=20the=20latex=20rendering=20of=20?= =?UTF-8?q?=E2=95=94=20and=20company?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit original commit: 9b6272674ea3161ff72a66f00cc795f613185f93 --- collects/scribble/latex-render.rkt | 28 ++++++++++++++-------------- 1 file changed, 14 insertions(+), 14 deletions(-) diff --git a/collects/scribble/latex-render.rkt b/collects/scribble/latex-render.rkt index 0dc8703f..53882864 100644 --- a/collects/scribble/latex-render.rkt +++ b/collects/scribble/latex-render.rkt @@ -1030,35 +1030,35 @@ [(#\╔) @combine{\begin{picture}(@x[10],@y[10])(0,0) \put(@x[2],@y[6]){\line(1,0){@x[8]}} - \put(@x[3],@y[5]){\line(1,0){@x[7]}} + \put(@x[4],@y[4]){\line(1,0){@x[7]}} \put(@x[2],@y[0]){\line(0,1){@y[6]}} - \put(@x[3],@y[0]){\line(0,1){@y[5]}} + \put(@x[4],@y[0]){\line(0,1){@y[4]}} \end{picture}}] [(#\═) @combine{\begin{picture}(@x[10],@y[10])(0,0) \put(@x[0],@y[6]){\line(1,0){@x[10]}} - \put(@x[0],@y[5]){\line(1,0){@x[10]}} + \put(@x[0],@y[4]){\line(1,0){@x[10]}} \end{picture}}] [(#\╗) @combine{\begin{picture}(@x[10],@y[10])(0,0) \put(@x[0],@y[6]){\line(1,0){@x[8]}} - \put(@x[0],@y[5]){\line(1,0){@x[7]}} + \put(@x[0],@y[4]){\line(1,0){@x[6]}} \put(@x[8],@y[0]){\line(0,1){@y[6]}} - \put(@x[7],@y[0]){\line(0,1){@y[5]}} + \put(@x[6],@y[0]){\line(0,1){@y[4]}} \end{picture}}] [(#\║) @combine{\begin{picture}(@x[10],@y[10])(0,0) - \put(@x[3],@y[10]){\line(0,-1){@y[10]}} + \put(@x[4],@y[10]){\line(0,-1){@y[10]}} \put(@x[2],@y[10]){\line(0,-1){@y[10]}} \end{picture}}] [(#\╚) @combine{\begin{picture}(@x[10],@y[10])(0,0) - \put(@x[2],@y[5]){\line(1,0){@x[8]}} - \put(@x[3],@y[6]){\line(1,0){@x[7]}} - \put(@x[3],@y[10]){\line(0,-1){@y[4]}} - \put(@x[2],@y[10]){\line(0,-1){@y[5]}} + \put(@x[2],@y[4]){\line(1,0){@x[8]}} + \put(@x[4],@y[6]){\line(1,0){@x[6]}} + \put(@x[4],@y[10]){\line(0,-1){@y[4]}} + \put(@x[2],@y[10]){\line(0,-1){@y[6]}} \end{picture}}] [(#\╝) @combine{\begin{picture}(@x[10],@y[10])(0,0) - \put(@x[0],@y[5]){\line(1,0){@x[8]}} - \put(@x[0],@y[6]){\line(1,0){@x[7]}} - \put(@x[7],@y[10]){\line(0,-1){@y[4]}} - \put(@x[8],@y[10]){\line(0,-1){@y[5]}} + \put(@x[0],@y[4]){\line(1,0){@x[8]}} + \put(@x[0],@y[6]){\line(1,0){@x[6]}} + \put(@x[6],@y[10]){\line(0,-1){@y[4]}} + \put(@x[8],@y[10]){\line(0,-1){@y[6]}} \end{picture}}]))