Symbol: lsub_positive