∨

Defined symbol.

Type:

pr

Arguments:

(pr), (pr),