renaming an infix operator includes the surrounding braces in placeholder

[faldor20]

if you try to rename an infix operator:

let (^*$) a = a+1

let b= (^*$) 1  

the prefilled string will be (^*$). If you were to rename without making any change it would now be:

let ((^*$)) a = a+1

let b= ((^*$)) 1