> 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
> 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