Я готовлю документ своей исследовательской работы на данный момент. Я работаю с темпоральной логикой. Следовательно, мне нужно использовать темпоральные операторы, такие как next и until. Я не могу сделать это в Tex Studio. Есть ли какие-то специальные пакеты для этого?