is known is for compactness of notation and does not

Open in new window