Precedence: 8

`lv` - Factor through a [L]imit with [V]oid object
`lv` : e -> e -> Product o oo

This operator works is similar to la, except the fact that it ignores arguments.