テキストに時間演算子を含めるにはどうすればいいですか?

Question

これまでの研究成果の文書を準備中です。私は時相論理を使っています。そのため、next や until などの時相演算子を使用する必要があります。Tex Studio ではこれができません。これ専用のパッケージはありますか?