. . "A::B denotes that A is a subclass of" . .