 Compatible forcing conditions

Two forcing conditions are compatible when they have a common stronger extension. In standard notation this means that some $r$ satisfies $r\le p,q$; in Jerusalem notation for forcing it means that some $r$ satisfies $p,q\le r$.