pan></b>, <b><span style='color:#000000;'>binary</span></b>, <b><span style='color:#000000;'>after</span></b> <b><span style='color:#000000;'>appl</span></b>;
<i><span style='color:#898887;'>// This defines `o' to be a binary, left-associative operator,</span></i>
<i><span style='color:#898887;'>// with priority just after application (so higher than the priority</span></i>
<i><span style='color:#898887;'>// of any operator defined thus far with priority lower than application)</span></i>
<i><span style='co