Latex 如何在乳胶中创建纸用符号？

如何使用Latex创建类似于此图像的符号样式。还有其他建议吗

\documentclass{article}
%看http://tex.stackexchange.com/questions/112576/math-mode-in-tabular-without-having-to-use-everywhere
\usepackage{amsterxt}
\usepackage{array}
\usepackage{amssymb}
\newcolumntype{L}{>{$}这不是。它应该被问到。而且你显然没有表现出任何努力来提供你迄今为止尝试过的东西。
\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 for F$_1$}

\begin{tabular}{LLL}
\hline
\text{\footnotesize(Env $\varnothing$)} & 
\text{\footnotesize(Env $x$)}\\

\frac{}{\varnothing \vdash \diamond} & 
\frac{E \vdash A \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 A \quad E \vdash B}{E \vdash A \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 : A}{E \vdash b(a) : B} \\
\hline
\end{tabular}

\end{document}