%include polycode.fmt

%format <*>  = "\mathbin{< \!\! \star \!\! >}"
%format <$>  = "\mathbin{< \!\! \$ \!\! >}"
%format <|>  = "\mathbin{< \!\! | \!\! >}"
%format ~    = "~"