Fix operator precedence according to Brian W. Kernighan and Lorinda

L. Cherry, "Typesetting Mathematics - User's Guide (Second Edition)",
August 15, 1978, paragraph 23; swarm of bugs pointed out by bentley@.

9 files changed, 19 insertions, 17 deletions

diff --git a/regress/eqn/unary/bold.in b/regress/eqn/unary/bold.in
index ad098a83..e77398f4 100644
--- a/regress/eqn/unary/bold.in
+++ b/regress/eqn/unary/bold.in
@@ -1,5 +1,5 @@
-.\" $OpenBSD: bold.in,v 1.2 2017/07/04 14:53:23 schwarze Exp $
-.Dd $Mdocdate: July 4 2017 $
+.\" $OpenBSD: bold.in,v 1.3 2017/07/06 00:08:52 schwarze Exp $
+.Dd $Mdocdate: July 6 2017 $
 .Dt UNARY-BOLD 1
 .Os
 .Sh NAME
@@ -8,6 +8,6 @@
 .Sh DESCRIPTION
 initial text
 .EQ
-bold { sin "sin" }
+bold { sin "sin" } "text" bold x hat
 .EN
 final text
diff --git a/regress/eqn/unary/bold.out_ascii b/regress/eqn/unary/bold.out_ascii
index c20dc638..7356ede0 100644
--- a/regress/eqn/unary/bold.out_ascii
+++ b/regress/eqn/unary/bold.out_ascii
@@ -4,6 +4,6 @@ NNAAMMEE
      uunnaarryy--bboolldd - font handling in bold boxes
 
 DDEESSCCRRIIPPTTIIOONN
-     initial text ((sin ssiinn)) final text
+     initial text ((sin ssiinn)) _t_e_x_t xx^^ final text
 
-OpenBSD                          July 4, 2017                          OpenBSD
+OpenBSD                          July 6, 2017                          OpenBSD
diff --git a/regress/eqn/unary/bold.out_html b/regress/eqn/unary/bold.out_html
index 56d6762f..e1263a4f 100644
--- a/regress/eqn/unary/bold.out_html
+++ b/regress/eqn/unary/bold.out_html
@@ -1 +1 @@
-<mrow><mrow><mrow><mi>sin</mi><mi fontweight="bold">sin</mi></mrow></mrow></mrow>
+<mrow><mrow><mrow><mi>sin</mi><mi fontweight="bold">sin</mi></mrow></mrow><mi fontstyle="italic">text</mi><mrow><mover><mi fontweight="bold">x</mi><mo>^</mo></mover></mrow></mrow>
diff --git a/regress/eqn/unary/diacrit.in b/regress/eqn/unary/diacrit.in
index 6e91f847..ab83dbb1 100644
--- a/regress/eqn/unary/diacrit.in
+++ b/regress/eqn/unary/diacrit.in
@@ -1,5 +1,5 @@
-.\" $OpenBSD: diacrit.in,v 1.2 2017/07/04 14:53:23 schwarze Exp $
-.Dd $Mdocdate: July 4 2017 $
+.\" $OpenBSD: diacrit.in,v 1.3 2017/07/06 00:08:52 schwarze Exp $
+.Dd $Mdocdate: July 6 2017 $
 .Dt UNARY-DIACRIT 1
 .Os
 .Sh NAME
@@ -10,5 +10,6 @@ initial text
 .EQ
 x dot x dotdot x hat x tilde x vec x dyad
 { x + y } bar { x + y } under
+x tilde hat
 .EN
 final text
diff --git a/regress/eqn/unary/diacrit.out_ascii b/regress/eqn/unary/diacrit.out_ascii
index f2c5b0bb..62ac035f 100644
--- a/regress/eqn/unary/diacrit.out_ascii
+++ b/regress/eqn/unary/diacrit.out_ascii
@@ -4,6 +4,6 @@ NNAAMMEE
      uunnaarryy--ddiiaaccrriitt - diacritical marks in equations
 
 DDEESSCCRRIIPPTTIIOONN
-     initial text _x. _x" _x^ _x~ _x-> _x<-> (_x + _y) (_x + _y)_ final text
+     initial text _x. _x" _x^ _x~ _x-> _x<-> (_x + _y) (_x + _y)_ _x~^ final text
 
-OpenBSD                          July 4, 2017                          OpenBSD
+OpenBSD                          July 6, 2017                          OpenBSD
diff --git a/regress/eqn/unary/diacrit.out_html b/regress/eqn/unary/diacrit.out_html
index 02dcc2f4..d3d4d361 100644
--- a/regress/eqn/unary/diacrit.out_html
+++ b/regress/eqn/unary/diacrit.out_html
@@ -1 +1 @@
-<mrow><mover><mi>x</mi><mo>&#729;</mo></mover><mover><mi>x</mi><mo>&#168;</mo></mover><mover><mi>x</mi><mo>^</mo></mover><mover><mi>x</mi><mo>~</mo></mover><mover><mi>x</mi><mo>&#8594;</mo></mover><mover><mi>x</mi><mo>&#8596;</mo></mover><mover><mrow><mi>x</mi><mo>+</mo><mi>y</mi></mrow><mo></mo></mover><munder><mrow><mi>x</mi><mo>+</mo><mi>y</mi></mrow><mo>_</mo></munder></mrow>
+<mrow><mover><mi>x</mi><mo>&#729;</mo></mover><mover><mi>x</mi><mo>&#168;</mo></mover><mover><mi>x</mi><mo>^</mo></mover><mover><mi>x</mi><mo>~</mo></mover><mover><mi>x</mi><mo>&#8594;</mo></mover><mover><mi>x</mi><mo>&#8596;</mo></mover><mover><mrow><mi>x</mi><mo>+</mo><mi>y</mi></mrow><mo></mo></mover><munder><mrow><mi>x</mi><mo>+</mo><mi>y</mi></mrow><mo>_</mo></munder><mover><mover><mi>x</mi><mo>~</mo></mover><mo>^</mo></mover></mrow>
diff --git a/regress/eqn/unary/sqrt.in b/regress/eqn/unary/sqrt.in
index a7059624..e007ff01 100644
--- a/regress/eqn/unary/sqrt.in
+++ b/regress/eqn/unary/sqrt.in
@@ -1,5 +1,5 @@
-.\" $OpenBSD: sqrt.in,v 1.4 2017/07/04 14:53:23 schwarze Exp $
-.Dd $Mdocdate: July 4 2017 $
+.\" $OpenBSD: sqrt.in,v 1.5 2017/07/06 00:08:52 schwarze Exp $
+.Dd $Mdocdate: July 6 2017 $
 .Dt UNARY-SQRT 1
 .Os
 .Sh NAME
@@ -8,6 +8,6 @@
 .Sh DESCRIPTION
 initial text
 .EQ
-r = sqrt { x sup 2 + y sup 2 } + sqrt a+b + sqrt { } + sqrt
+r = sqrt { x sup 2 + y sup 2 } + sqrt a+b + sqrt x hat + sqrt { } + sqrt
 .EN
 final text
diff --git a/regress/eqn/unary/sqrt.out_ascii b/regress/eqn/unary/sqrt.out_ascii
index 607a6013..72b7047d 100644
--- a/regress/eqn/unary/sqrt.out_ascii
+++ b/regress/eqn/unary/sqrt.out_ascii
@@ -4,6 +4,7 @@ NNAAMMEE
      uunnaarryy--ssqqrrtt - square root
 
 DDEESSCCRRIIPPTTIIOONN
-     initial text _r = sqrt(_x^2 + _y^2) + sqrt(_a + _b) + sqrt() + sqrt final text
+     initial text _r = sqrt(_x^2 + _y^2) + sqrt(_a + _b) + sqrt(_x^) + sqrt() + sqrt
+     final text
 
-OpenBSD                          July 4, 2017                          OpenBSD
+OpenBSD                          July 6, 2017                          OpenBSD
diff --git a/regress/eqn/unary/sqrt.out_html b/regress/eqn/unary/sqrt.out_html
index ca2de199..0b5fe37e 100644
--- a/regress/eqn/unary/sqrt.out_html
+++ b/regress/eqn/unary/sqrt.out_html
@@ -1 +1 @@
-<mrow><mi>r</mi><mo>=</mo><msqrt><mrow><msup><mi>x</mi><mn>2</mn></msup><mo>+</mo><msup><mi>y</mi><mn>2</mn></msup></mrow></msqrt><mo>+</mo><msqrt><mrow><mi>a</mi><mo>+</mo><mi>b</mi></mrow></msqrt><mo>+</mo><msqrt><mrow></mrow></msqrt><mo>+</mo><msqrt></msqrt></mrow>
+<mrow><mi>r</mi><mo>=</mo><msqrt><mrow><msup><mi>x</mi><mn>2</mn></msup><mo>+</mo><msup><mi>y</mi><mn>2</mn></msup></mrow></msqrt><mo>+</mo><msqrt><mrow><mi>a</mi><mo>+</mo><mi>b</mi></mrow></msqrt><mo>+</mo><msqrt><mover><mi>x</mi><mo>^</mo></mover></msqrt><mo>+</mo><msqrt><mrow></mrow></msqrt><mo>+</mo><msqrt></msqrt></mrow>