The Beilinson bundles U^a will be represented by quotient bundles.
The object QuotientBundle is a symbol.
The source of this document is in TateOnProducts.m2:5702:0.