Hacker News new | ask | show | jobs
by Tomte 3607 days ago
Yes, it is.

But ^ and ∧ are different.