A proposed non-commutative infix binary operator inverse to similar to the non-commutative infix binary exponentiation operator is "[x's] 'log base' [base]":
Operator symbols: [] = implicit; vertical orientation / higher potential = implicit increasing
position on number "line" : | = addition, - = subtraction; two vertices. triangle "ratio" : ▽ = multiplication, △ = division; three vertices. square "The power of a line is the square of the same line" [x^2] : ◇ = exponentiation, □ = log base; four vertices...
[0|]y=y : | = next() grouping operator
[0]-y : - = inverse operator
[0|]y [|]-y=0 : 0 = identity operand
[1▽]y=y : ▽ = | grouping operator
[1]△y : △ = inverse operator
[1▽]y [▽](1△y)=y△y=1 : 1 = identity operand
[y◇(1△y)◇]y=y : ◇ = ▽ grouping operator
[y◇(1△y)] □ y = 1△y : □ = inverse operator
[y◇(1△y)◇]y [◇]((y◇(1△y)) □ y) =y◇(1△y) : y◇(1△y) = identity operand <in the infinite limit = e>