question for fellow mathematicians: have you ever heard of a standard name for this symbol: ¬
it's one of many symbols used to represent negation, although unlike all the alternative symbols, it has no alternative name. in Unicode, it's just called "not sign"
I want to call this symbol a "ledge" because it looks sort of like a ledge: you have a horizontal line that's folded over on the right side. but I'm curious if anyone has heard of another name for this, since I can't find anything on it
@clarfonthey i've never heard another name in math but Unicode gives it an informative alias of “angled dash (in typography)”. Wiktionary notes “When used in a symbolic logic context, this symbol can be called tilde” but that's not going to be helpful for disambiguation
