Improving the notation in ExtCalc