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