I've a very large block-displayed formula in one of my articles. Its
presence is simply to exhibit the true complexity of an ostensible
axiom in the system of another researcher.
The problem is that the formula is so large that it would be good to
reduce the character sizes a bit, just to make it fit into a smaller
space on the page. Few if any readers will want to make a careful
examination of the formula.
What (if such exists) is a straightforward way for me to reduce the
character sizes in one and only one formula?
(I'm perfectly happy with red boxes. ;-) )
