snicne lujvo

x1 is a variable taking value x2 under conditions x3.

See also sinxa, cenba