I propose to overload also the new line operator, for divisions. E.g.: X/Y may be represented by: X with Y under it. However some brainstorming is needed to differentiate it from Y^X