Re:U+237C ⍼ Right Angle with Downwards Zigzag Arrow
by maze-le on Wednesday April 13, 2022 @11:32AM
(#31015897)
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.
[ Parent
| on HN ]
Re:U+237C ⍼ Right Angle with Downwards Zigzag Arrow
by dirkt on Thursday April 14, 2022 @12:18AM
(#31023359)
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.
Re:U+237C ⍼ Right Angle with Downwards Zigzag Arrow
by maze-le on Thursday April 14, 2022 @01:01PM
(#31029737)
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.
Re:U+237C ⍼ Right Angle with Downwards Zigzag Arrow
by r0uv3n on Thursday April 14, 2022 @06:50AM
(#31025194)
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.