overline (English, noun)
expansion: overline (plural overlines)
Senses:
glosses: Synonym of overbar.
Forms:
form: overlines
tags: plural