Comment by esperent

> the thunderbolt ↯ is commonly used for "not" or more specifically for dis-proof in this area and

I don't think it's that common. At least, I don't recall seeing it ever. Maybe it's used in non-English mathematics?

Wikipedia mentions it's also used in electrolysis so maybe this new one is related to that somehow?