Forcing tie notation

Brilliant. Thanks, Dan.