Skip to contents

Positive part: max(x, 0)

Usage

pos(x)

Arguments

x

An Expression

Value

A Maximum atom