Changed: Relabel to tau possible
Added: <->, [-] and <a,b,c,...>