> I don't think the following trick has come up yet.  If you are
> only exporting to HTML, you can do:
> 
> @<u>e@</u>vent

Thanks, Carsten.  That works nicely.

-- Mike