23118 2013-08-31 16:56:30 +0000 'V' in fn:id 2013-09-01 09:09:15 +0000 1 1 1 Unclassified XPath / XQuery / XSLT Functions and Operators 3.0 Candidate Recommendation All All RESOLVED FIXED P2 trivial --- 1 tgraham mike public-qt-comments oldest_to_newest 92783 0 tgraham 2013-08-31 16:56:30 +0000 See http://www.w3.org/TR/xpath-functions-30/#func-id The 'V' in "the typed value of the element node is equal to V" is in the text font, whereas the 'V' in "whose typed value is equal to V" is in a monospace font. It's the same in F+O 1.0. FWIW, where 'V' comes from is not explained, so it's necessary to just assume it's one of the 'candidate IDREF values' (or candidate ID values for fn:idref). 92787 1 mike 2013-08-31 19:54:16 +0000 I've fixed the incorrect font. The intent here is that E and V are free variables in a definition: it's defining a function function has-id-value(E, V) { is-id(E) and data(E) eq V } Perhaps it would be clearer to the typical reader if it were done in pseudo-code rather than legalese English. 92792 2 tgraham 2013-09-01 09:09:15 +0000 I think this is all that would be necessary: E has an ID value equal to one of the candidate IDREF values, V, where: