Comment by jbl

|array| looks like it’s taken from the notation for cardinality of a set (number of elements in a set)