[http://en.wikipedia.org/wiki/Help:Formula Help for math formulae]
\forall x,y : (mg(y,d) \rightarrow wf(y, d))
\rightarrow