It’s ¬ absence. It’s difference. There’s a difference (¬ absence).
¬ should (does) ¬ always mean the same thing in logic/math…language. Using one symbol for all senses of ¬ is equivocation—why do the different (¬ lack of) senses get lumped into one word/symbol?
#petpeeve