Splitting of coherent idempotents

An answer to a question of Martin Escardo.
Heh, I was thinking too much like an informal mathematician.  Of course, in paper mathematics we would use parentheses, just like we write f(x).