Hacker News new | ask | show | jobs
by nils-m-holm 887 days ago
> dot(P;Q)

You can also write P dot Q.