Use of <var> in the section about BGPs

Co-authored-by: Ted Thibodeau Jr <[email protected]>

Author: hartig

spec/index.html

@@ -8947,9 +8947,9 @@ <h3>Basic Graph Patterns</h3>
         <p>Write <var>μ</var> for solution mappings.</p>
         <p>Write <var>μ<sub>0</sub></var> for the mapping such that <var>dom</var>(<var>μ<sub>0</sub></var>) is the empty set.</p>
         <p>Write <var>Ω<sub>0</sub></var> for the multiset consisting of exactly the empty mapping
-          μ<sub>0,</sub> with multiplicity 1. This is the join identity.</p>
-        <p>Write μ(x) for the solution mapping variable x to RDF term t : { (x, t) }</p>
-        <p>Write Ω(x) for the multiset consisting of exactly μ(?x-&gt;t), that is, { { (x, t) } }
+          <var>μ<sub>0</sub></var>, with multiplicity 1. This is the join identity.</p>
+        <p>Write <var>μ</var>(<var>x</var>) for the solution mapping variable <var>x</var> to RDF term <var>t</var> : { (<var>x</var>, <var>t</var>) }.</p>
+        <p>Write <var>Ω</var>(<var>x</var>) for the multiset consisting of exactly <var>μ</var>(<var>?x</var>-&gt;<var>t</var>), that is, <code>{ { (x, t) } }</code>
           with multiplicity 1.</p>
         <div class="defn">
           <p><b>Definition: <span id="defn_algCompatibleMapping">Compatible Mappings</span></b></p>