vertically center the colon in :\equiv