/macros/latex/contrib/temporal-logic/