Also included the concrete definition of [xsymbol] in this signature.