Wikimedia portal namespace Deductions MediaWiki custom namespace is for example Wikimedia portal namespace ⇐ (Wikimedia portal namespace is a MediaWiki custom namespace), (is a is inverse of is for example)