x̃i ( φ β x∈I? E -- x̃i )

Vocabulary

math.parser.private

Inputs

φ	an object
β	an object
x∈I?	an object
E	an object

Outputs

x̃i

an object

Definition

USING: kernel math ;

IN: math.parser.private

: x̃i ( φ β x∈I? E -- x̃i ) 2 [ - ] 2 [ and ] 1 w̃i ; inline