re: #136 LudwigVanQuixote

I sometimes keep the Special Characters palette open (in MacOSX) for just such occasions as needing math symbols.

≤≮≲⩻