Plange


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

syntax

"{" EXPRESSION "|" EXPRESSION "}"

Example

{ x | x ∈ ℝ ∧ x < 3 }

This website does not use cookies or javascript, excluding the Google search bar.
copyright © Brent Lewis 2013-2018