User blog comment:VoidSansXD/Height notation/@comment-36957202-20190128182136

My guess is that this is bounded by \(5\times\omega\)