Changed concealing of elem and notElem to their infix form

[sukhmel]

elem and notElem seem intuitively right to be replaced

Previous form was especially misleading when used as section (elem a) would become ∈ a which is not very correct looking.

.