Portal:English Deductions Wikimedia portal is for example Portal:English ⇐ (Portal:English is a Wikimedia portal), (is a is inverse of is for example)