Yeah, the old syntax was a little wishy-washy about what characters ended an overbar, so we went with something explicit.
It also now matches the super- and sub-script syntax (^{...}, _{...}, ~{...}).
7 Likes