denoted

DENOTED, pp. Marked; signified, indicated.