Structured Editor

Structured editor for LTL

always assume {

}

always guarantee {

}