News for hackers. Stuff that matters.

A comment on U+237C ⍼ Right Angle with Downwards Zigzag Arrow. Parent comment

Re:U+237C ⍼ Right Angle with Downwards Zigzag Arrow by AaronFriel on Wednesday April 13, 2022 @02:32PM (#31018412)
Math degree holder from Iowa, yeah, I've seen and used it many times. The symbol is used when you reach the contradictory statement. Like "1 = 2".

"By way of contradiction suppose P, then ..., thus ~P ↯. Therefore ..."

[ Parent | on HN ]
Re:U+237C ⍼ Right Angle with Downwards Zigzag Arrow by nerdponx on Wednesday April 13, 2022 @07:38PM (#31021670)
I've actually always wanted a way to mark "the contradiction" once I've obtained it. Thanks!
[ Parent | on HN ]
Re:U+237C ⍼ Right Angle with Downwards Zigzag Arrow by phogster on Wednesday April 13, 2022 @07:22PM (#31021540)
To me that reads: I throw your assumption into the GROUND!
[ Parent | on HN ]