 The notation indicates that is a function with domain and codomain .The combination with an equal sign () is used for definitions.In mathematical logic, when using set-builder notation for describing the characterizing property of a set, it is used as an alternative to a vertical bar (which is the ISO 31-11 standard), to mean "such that".