Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

It's used in german mathematics education (secondary level), either to mark a contradiction in a proof or more generally to mark an erroneous statement.


But I have never seen it to mark negation of a condition, that's usually done with a slash (as in ≠ ≮ ≯ ≰ ≱ ≴ ≵ ⊄ ⊅ ⊈ ⊉ ⊊ ⊋ ∉ ∌ ∄ ∦, you get the idea).

So for "not a right angle" I'd have expected a "right angle" symbol with a slash through it.


Funny enough, I've only seen it at the Gymnasium (secondary level) and not in the University a few years later -- then indeed the usual symbols were the 'slashed' relations like you've described, or the bottom symbol: ⊥ in logic. Maybe it's an idiosyncrasy of a certain subset of math teachers.


But how would you position the slash to get a somewhat easy to decipher symbol? To me, the right angle symbol seems to lend itself more to this unorthodox negation through the contradiction symbol than to negation through the normal slash.


Also in Dutch universities to mark a contradiction, especially in a proof by contradiction.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: