2 tilde in URL = bogus or not ?

["Mark Elsen" <mark.elsen@xxxxxxxxx>]

According to http standards and semantics , I wonder :

                   http://foo.bar.com/~aaaa~/bbbb

Is this allowed, and what would be the result ?

M.