From 199d76958f5f80dcaa04f1edbf106cd3aaeeaa96 Mon Sep 17 00:00:00 2001 From: Ali Gholami Rudi Date: Mon, 13 Mar 2017 18:22:36 +0330 Subject: [PATCH] def: use bar instead of \(br for | --- def.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/def.c b/def.c index 2db253e..0d3e500 100644 --- a/def.c +++ b/def.c @@ -174,7 +174,7 @@ static char bracketsizes[32][NSIZES][BRLEN] = { "\\N'angbracketleftBig'", "\\N'angbracketleftbigg'", "\\N'angbracketleftBigg'"}, {"\\(ra", "\\(ra", "\\N'angbracketright'", "\\N'angbracketrightbig'", "\\N'angbracketrightBig'", "\\N'angbracketrightbigg'", "\\N'angbracketrightBigg'"}, - {"|", "|", "\\(br", "\\(br", "\\(br"}, + {"|", "|", "|", "|", "|"}, {"\\(sr", "\\(sr", "\\N'radical'", "\\N'radicalbig'", "\\N'radicalBig'", "\\N'radicalbigg'", "\\N'radicalBigg'"}, }; @@ -191,7 +191,7 @@ static char bracketpieces[32][8][BRLEN] = { {"\\(rc", "\\(rc", "\\(rx", "\\(rx"}, {"\\(lf", "\\(lx", "\\(lx", "\\(lf"}, {"\\(rf", "\\(rx", "\\(rx", "\\(rf"}, - {"|", "\\(br", "\\(br", "\\(br"}, + {"|", "|", "|", "|"}, {"\\(sr", "\\N'radicaltp'", "\\N'radicalvertex'", "\\N'radicalbt'"}, }; -- 2.11.4.GIT