l_neg

open fun l_neg()(source)