How to create paper used notation in Latex? -

how use latex create notation style image. or other suggestions ?

\documentclass{article}  % see http://tex.stackexchange.com/questions/112576/math-mode-in-tabular-without-having-to-use-everywhere \usepackage{amstext} \usepackage{array}   \usepackage{amssymb}  \newcolumntype{l}{>{$}l<{$}}  \begin{document}  \textbf{typing rules f$_1$}  \begin{tabular}{lll} \hline \text{\footnotesize(env $\varnothing$)} &  \text{\footnotesize(env $x$)}\\  \frac{}{\varnothing \vdash \diamond} &  \frac{e \vdash \quad x \notin dom(e)}{e, x:a \vdash \diamond} \\  &&\\  \text{\footnotesize(type const} &  \text{\footnotesize(type arrow)}\\  \frac{e \vdash \diamond}{e \vdash k} &  \frac{e \vdash \quad e \vdash b}{e \vdash \rightarrow b} \\  &&\\  \text{\footnotesize(val $x$)} &  \text{\footnotesize(val fun)} &  \text{\footnotesize(val appl)} \\  \frac{e\vdash \diamond}{e \vdash x :e(x)} &  \frac{e,x:a\vdash b:b}{e \vdash \lambda(x:a)b :a \rightarrow b} & \frac{e \vdash b:a \rightarrow b \quad e \vdash : a}{e \vdash b(a) : b} \\ \hline \end{tabular}  \end{document}