[GHC] #16090: Typeset Big-O complexities with TeX-style notation in libraries/base