$$
      a\abovewithdelims(]0.4pt b
$$
