Zalastax

\usepackage{logicproof}

\newcommand{\pli}[1][]{\mathrm{i}#1 \:}
\newcommand{\ple}[1][]{\mathrm{e}#1 \:}
\newcommand{\plande}[1][]{\land \ple[_#1]}
\newcommand{\plandi}{\land \pli}
\newcommand{\plore}{\lor \ple}
\newcommand{\plori}[1][]{\lor \pli[_#1]}
\newcommand{\pltoe}{\to \ple}
\newcommand{\pltoi}{\to \pli}