TeX the World is a greasemonkey script (and also chrome extension) that "adds LaTeX support" (for some values of such) for pretty much any website/chat program/gmail/etc.
For instance I can just say [;\frac{\vdash \sigma \sim_\gamma \sigma' : \Gamma\qquad \Gamma,\Gamma_0 \vdash e : \tau}{\Gamma_0 \vdash \sigma e \approx_{\gamma\Gamma} \sigma' e : \tau} ;] and get