Estoy preparando un documento de mi trabajo de investigación hasta el momento. Estoy trabajando con lógica temporal. Por lo tanto, necesito utilizar operadores temporales como siguiente y hasta. No puedo hacer esto en Tex Studio. ¿Existen paquetes específicos para esto?