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?
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?