In "On Padoa's Method in the Theory of Definition", written by Beth in 1953, I found a notation that is not really clear.
In particular, in the attached image, 
in the point (iii) of statement 2.4, I can't understand the formula Z. What does D means? And what does (x)X(x) means?
Thank you.