And it seems that <| was in fact |>, much surprise.