Say for example I'd like to state that there exists a pair of vertices such that they form an edge in one graph but not some other graph. I'd go about it as follows:
$$ \exists u, v \in V, (u,v) \in G, (u,v) \not\in H $$
My main question here is: Is my use of commas fine (it seems odd, since there's commas between $u$ and $v$ already which don't seem to be used in the same manner), or should I use vertical lines, colons, semicolons, logical $\land$ ... and if so where exactly? Is there a proper way to do this which I just haven't found or is me assuming everyone has their own distinct way correct?