snisimsumji lujvo

x1 is the sigma summation of expression x2 with variable x3 over domain x4.

See also si'i