* Add example for |=> operator * Add formal test for |=> operator example * Add |=> to supported list