如何在文字中包含時間運算子？

Question

我正在準備一份迄今為止我的研究工作的文件。我正在研究時序邏輯。因此，我需要使用諸如 next 和 Until 之類的時間運算子。我無法在 Tex Studio 中執行此操作。有沒有專門針對這個的包？