use \Parens, \blank, \widehat where appropriate