Plange


create a Collection, substituting variables bound in the right hand side into the left hand side

syntax

"{" {IC} EXPRESSION {IC} "|" {IC} EXPRESSION {IC} "}"

Example

{ x | x ∈ ℝ ∧ x < 3 }

copyright © Brent Lewis 2017