http://latex.codecogs.com/svg.latex?\forall\alpha.(K_1^1[\alpha/S]\rightarrow\dots\rightarrow\alpha)\dots\rightarrow(K_1^m[\alpha/S]\rightarrow\dots\rightarrow\

http://latex.codecogs.com/svg.latex?\forall\alpha.(K_1^1[\alpha/S]\rightarrow\dots\rightarrow\alpha)\dots\rightarrow(K_1^m[\alpha/S]\rightarrow\dots\rightarrow\alpha)\rightarrow\alpha http://latex.codecogs.com/svg.latex?\forall\alpha.(K_1^1[\al... PS: It's $\LaTeX$, using $word$ is always wrong. And axis labes x and y should be in math italics. Anyway it's just plain ugly, different fonts, formulae jumping from baseline etc. Use mathjax