on my web browser. There I found logical connectives such as 'and'
and 'or', but not the connective 'not' (the symbol obtained by the
LaTeX code $\lnot$). Where is its place in Unicode? Why not among
the mathematical operators?