Source TeX:

lvin(s, \emptyset)