[doc/spec/dao] remove highlights, add missing parenthesis

doc/src/spec/dao/dao_exec.md

@@ -12,7 +12,7 @@ $$ \mathcal{L}= \{X:(X,W)\in \mathcal{R}\} $$
 
 - Derive, and reveal [bulla](bulla.md)
 - Derive, and reveal [proposal](proposal.md) input [coin](../payment/coin.md)
-- Calculate, and  Reveal yes-vote 0/1 for no/yes [commitment](../crypto/commitment.md) $=vote^{yes}vote^{all^}$
+- Calculate, and  Reveal yes-vote 0/1 for no/yes [commitment](../crypto/commitment.md): $vote^{yes}*vote^{all}$
 - Reveal all-vote value [commitment](../crypto/commitment.md)
 - Calculate, and reveal [proposal](proposal.md) coin value [commitment](../crypto/commitment.md)
 - Reveal dao execution spendHook

doc/src/spec/dao/dao_propose.md

@@ -40,8 +40,7 @@ $$ \mathcal{L}= \{X:(X,W)\in \mathcal{R}\} $$
 | $pub_y$                  | [proposal](proposal.md) [public key](../crypto/keypair.md) y coordinate                       |
 | $blind^{bulla}$          | [bulla](bulla.md) [commitment](../crypto/commitment.md) blinding factor                       |
 | pos                      | [bulla](bulla.md) leaf position in the [merkle tree](../crypto/merkletree.md)                 |
-| path                     | path of the [bulla](bulla.md) leaf at position `pos`
-    |
+| path                     | path of the [bulla](bulla.md) leaf at pos |
 
 # Circuit checks
 

doc/src/spec/dao/dao_propose_burn.md

@@ -28,7 +28,7 @@ $$ \mathcal{L}= \{X:(X,W)\in \mathcal{R}\} $$
 
 | Witnesses            | Description                                          |
 |----------------------|------------------------------------------------------|
-| sk                   | [proposal](proposal.md) [coin](../payment/coin.md) [secret key](../crypto/keypair.md     |
+| sk                   | [proposal](proposal.md) [coin](../payment/coin.md) [secret key](../crypto/keypair.md)     |
 | sn                   | [proposal](proposal.md) [coin](../payment/coin.md) serial number                          |
 | spendHook            | burn spendHook contract                                |
 | data                 | spendHook contract input data                        |

doc/src/spec/dao/vote_burn.md

@@ -28,7 +28,7 @@ $$ \mathcal{L}= \{X:(X,W)\in \mathcal{R}\} $$
 
 | Witnesses            | Description                                          |
 |----------------------|------------------------------------------------------|
-| sk                   | [proposal](proposal.md) [coin](../payment/coin.md) [secret key](../crypto/keypair.md     |
+| sk                   | [proposal](proposal.md) [coin](../payment/coin.md) [secret key](../crypto/keypair.md)     |
 | sn                   | [proposal](proposal.md) [coin](../payment/coin.md) serial number                          |
 | spendHook            | burn spendHook contract                                |
 | data                 | spendHook contract input data                        |