Fix misquote in RVWMO Rules (riscv#1663)

* Fix misquote in RVWMO Rules

Signed-off-by: Robert Balas <[email protected]>

* Remove spurious closing bracket in RVWMO Rules

---------

Signed-off-by: Robert Balas <[email protected]>
Co-authored-by: bluew <[email protected]>

Author: bluewww

src/mm-eplan.adoc

@@ -239,7 +239,7 @@ visible memory). Any other hart will therefore observe the load as
 performing before the store.
 
 Consider the <<litms_sb_forward>>. When running this program on an implementation with
-store buffers, it is possible to arrive at the final outcome a0=1, `a1=0, a2=1, a3=0` as follows:
+store buffers, it is possible to arrive at the final outcome `a0=1, a1=0, a2=1, a3=0` as follows:
 
 [[litms_sb_forward]]
 .A store buffer forwarding litmus test (outcome permitted)
@@ -295,7 +295,7 @@ Call this "Rule X". Then we get the following:
 preceded (d), then (d) would be required to return the value 1. (This is
 a perfectly legal execution; it's just not the one in question)
 * (e) precedes (f): by rule X
-* (f) precedes (h): by rule <<overlapping-ordering, 4]>>
+* (f) precedes (h): by rule <<overlapping-ordering, 4>>
 * (h) precedes (a): by the load value axiom, as above.
 
 The global memory order must be a total order and cannot be cyclic,