 The notation is used in some programming languages; in Pascal, for example, it is used to formally define a subrange type, most frequently used to specify lower and upper bounds of valid indices of an array.An integer interval that has a finite lower or upper endpoint always includes that endpoint.Therefore, the exclusion of endpoints can be explicitly denoted by writing  ,  , or .