erisco 2017-02-06 13:42:25
why is "complement" so difficult to abbreviate
hpc 2017-02-06 13:43:43
¬
erisco 2017-02-06 13:43:52
in an identifier
erisco 2017-02-06 13:44:10
that isn't unicode, I guess :P
hpc 2017-02-06 13:44:18
;)
erisco 2017-02-06 13:44:46
a < b if and only if not b ≤ a (i.e., < is the inverse of the complement of ≤)
hpc 2017-02-06 13:44:48
i think sometimes ' can be used for complement
hpc 2017-02-06 13:45:01
like, the complement of foo is foo'
erisco 2017-02-06 13:45:05
yeah but inverse is in there as well :P I went with ltIsLeq''
