> text()[string-to-codepoints(.)[1]=8712]
> is just a long way of writing
> text()[.='∈']

or more accurately I should have said

text()[starts-with(.,='∈')]

David