tudo-aqua / temporal-logic-latex-package

Latex package for temporal logic operators
LaTeX Project Public License v1.3c
1 stars 0 forks source link

Bind and prevalence operators are not horizontally centered #1

Closed tillschallau closed 5 months ago

tillschallau commented 5 months ago

In the following image you can see, that the bind arrow is not horizontally centered with the prevalence operators. image

\begin{itemize}
    \item $\cbind{t}{x}\varphi$ (bind)
    \item $\cminprevalence{y}\varphi$ (min prevalence)
    \item $\cpastminprevalence{y}\varphi$ (past min prevalence)
\end{itemize}