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?
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?