This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
7.2.11 The fn:remove function STA / rule 1 / conclusion "statEnv |- Expr1 : xs:integer" "xs:integer" should be in <code> font. STA / rule 1 / conclusion "prime(Type) · quantifier(Type)?" Change "?" to "· ?", as in 7.2.14 / STA / rule (2|3)?
Fixed as suggested. - Jerome