Substitute for s1*0

[David Kastrup]

Hi,

thinking about a replacement rule for turning \footnote into a
postevent, I was thinking about replacing \footnote, if not preceded by
- ^ _, into s1*0\footnote.  However, this has the disadvantage of
changing the default duration if a note without duration follows.

But what about <>\footnote: that does not have this problem.

In fact, isn't <> generally prettier than s1*0?  Should we be using it
in code and documentation rather than s1*0?

-- 
David Kastrup