[math-fun] A ternary notation