michael@0: michael@0: XX&XX michael@0: XX&nXX michael@0: XX&noXX michael@0: XX¬XX michael@0: XX¬iXX michael@0: XX¬inXX michael@0: XX&;XX michael@0: XX&n;XX michael@0: XX&no;XX michael@0: XX¬XX michael@0: XX¬i;XX michael@0: XX∉XX michael@0: