From CS2800 wiki
Definition:
If [math]A [/math] and [math]B [/math] are sets, then [math]|A| |B| [/math] means that there exists a surjection [math]f : A \href{/cs2800/wiki/index.php/%E2%86%92}{→} B [/math]
The LaTeX symbol for is \geq.