Definition of "antiprism"