new symbols:
\lambda
\rightharpoonup
\not\in
\circ
\cup
\vee
\bigwedge
\bigcup
\Longrightarrow
double colon (not sure if :: is right)

fixed \cap
some code documentation