In #36 you mentioned wanting to know which mathematical characters programmers were actually using, and these two are at the top of my list after = and ≠, which are already present.
(I suspect it wouldn't be too hard to add ≮, ≰, ≯, and ≱ at the same time, but I don't use those.)
In #36 you mentioned wanting to know which mathematical characters programmers were actually using, and these two are at the top of my list after = and ≠, which are already present.
(I suspect it wouldn't be too hard to add ≮, ≰, ≯, and ≱ at the same time, but I don't use those.)