Added the following codepoints:

\to                     2192
\Rightarrow             21D2
\Leftarrow              21D0
\LeftRightarrow         21D4
\forall                 2200
\exists                 2202
\emptyset               2205
\nabla                  2207
\notin                  2209
\prod                   220F
\wedge                  2227
\vee                    2228
\cap                    2229
\cup                    222A
\neq                    2260
\leq                    2264
\geq                    2265
\subset                 2282
\supset                 2283
\cdot                   22C5
\lfloor                 230A
\rfloor                 230B
\lceil                  2308
\rceil                  2309