Estou preparando um documento do meu trabalho de pesquisa até agora. Estou trabalhando com lógica temporal. Portanto, preciso usar operadores temporais como próximo e até. Não consigo fazer isso no Tex Studio. Existem pacotes específicos para isso?
Como posso incluir operadores temporais no meu texto?