ra'irsumji lujvo

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

See also ri'o