> c is a plus b as shorthand for > c is plus with a is a, b is b Could define as something like > plus is a + b probably using annotation such as > plus:operator is a + b