Ich bereite ein Dokument meiner bisherigen Forschungsarbeit vor. Ich arbeite mit temporaler Logik. Daher muss ich temporale Operatoren wie „next“ und „until“ verwenden. Dies kann ich in Tex Studio nicht tun. Gibt es dafür spezielle Pakete?
Wie kann ich temporale Operatoren in meinen Text einbauen?