{\buildrel {\rm def}\over =}