Help for math formulae
∀ x , y : ( m g ( y , d ) → w f ( y , d ) ) {\displaystyle \forall x,y:(mg(y,d)\rightarrow wf(y,d))}
→ {\displaystyle \rightarrow }