cneparbi lujvo

x1 is the derivative of x2 with respect to x3.

Cf. sa'o, cmaci.


In notes:

bixycmaci
c1 is a calculus of type/describing c2