$wgMathWikibasePropertyIdDefiningFormula