ra'irsumji lujvo

x1 is the integral of x2 with respect to x3 over x4.

See also ri'o

In notes:

bixycmaci
c1 is a calculus of type/describing c2