latex temporal logic
\documentclass{article}
\usepackage{amsmath,amssymb}
\pagestyle{empty}
\begin{document}
\renewcommand{\arraystretch}{2}
\begin{tabular}[t]{rl|rl}%
\verb=\lnot= & $ \lnot $ & \\
\verb=\square= & $\square$ & \verb=\lozenge= & $\lozenge$ \\
\verb=\vee= & $\vee $ & \verb=\wedge= & $\wedge$ \\
\verb=\vdash= & $\vdash$ & \verb=\models= & $\models$ \\
\end{tabular}
\end{document}