Writing Linear Temporal Logic in LaTeX

Question

I am writing some LTL (Linear Temporal Logic) statements in LaTeX and am having issues finding any packages online or information as to this can be done. Any help would be appreciated.

Answer 1

Here are some useful symbols

\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}

Answer 2

Applying DRY to A.Ellet's answer.

\documentclass[preview]{standalone}
\usepackage{amsmath,amssymb}

\renewcommand{\arraystretch}{2}

\def\x#1{\texttt{\expandafter\string\csname#1\endcsname}&\expandafter$\csname#1\endcsname$}


\begin{document}
\begin{tabular}[t]{rl|rl}%
    \x{lnot}    & \multicolumn{2}{c}{none}\\
    \x{square}  & \x{lozenge}\\
    \x{vee}     & \x{wedge}\\
    \x{vdash}   & \x{models}\\
\end{tabular}
\end{document}