如何在文本中包含时间运算符？

Question

我正在准备一份迄今为止的研究工作文件。我正在使用时间逻辑。因此，我需要使用时间运算符，如 next 和 till。我无法在 Tex Studio 中执行此操作。是否有特定的软件包可用于此目的？