so far, no luck in patching the argument into a proof (see last post).
on the other hand, i wrote another page in my thesis.
i guess that's something, at least.
by the way: does anyone know how to add a horizontal dash to an integral sign? i might have occasion to use many average values of integrable functions.
One possible convoluted work around:
ReplyDeleteTake a screen shot of the standard integral sign and horizontal dash in your desired text size then connect them in a grpahics package and make a macro to reproduce the symbol when needed in LaTeX.
http://www.tex.ac.uk/cgi-bin/texfaq2html?label=prinvalint
ReplyDeleteIs this what you need?
I use the code that Dmitry linked to, possibly copied from that very page many years ago.
ReplyDeletedmitry: that's it. i copied-&-pasted the code, and it works like a charm.
ReplyDeletethanks!