. . . . . "infimum"@la . "infimum" . .