v -> prjVar

Co-authored-by: Andy Seaborne <andy@apache.org>

Author: hartig

spec/index.html

@@ -9951,7 +9951,7 @@ <h3>Property Path Patterns</h3>
           <pre class="nohighlight">ppeval(<var>X</var>, <a href="#defn_ppeSeq" class="ppeOp">Seq</a>(<var>ppe<sub>1</sub></var>, <var>ppe<sub>2</sub></var>), <var>Y</var>) = <a href="#defn_algToMultiSet" class="algFct">ToMultiSet</a>( <a href="#defn_algProject" class="algFct">Project</a>(<a href="#defn_algToList" class="algFct">ToList</a>(<var>A</var>), <var>PV</var>) )</pre>
           <p>where |A| =
             <a href="#defn_algJoin" class="algFct">Join</a>( `ppeval`(|X|, <var>ppe<sub>1</sub></var>, |V|), `ppeval`(|V|, <var>ppe<sub>2</sub></var>, |Y|) )
-            and |PV| = { |v| ∈ {|X|,|Y|} | |v| is a variable }.</p>
+            and |PV| = { |projVar| ∈ {|X|,|Y|} | |projVar| is a variable }.</p>
         </div>
         <p>Informally, this is the same as:</p>
         <pre class="nohighlight">SELECT * { <var>X</var> <var>P<sub>1</sub></var> _:a . _:a <var>P<sub>2</sub></var> <var>Y</var> }</pre>