latex temporal logic code example

Example: 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}