Interestingly, your example renders incorrectly for me (Firefox/W10). The overline is placed between 1 and ).