Syntax Definition wse 204

Description: Sending operator. Writes Y to the channel X.

Hypotheses

Ref	Expression
wph	wff 𝜑
nx	nilad X
ny	nilad Y

Assertion

Ref	Expression
wse	wff [X ≪ Y] 𝜑

This syntax is primitive. The first axiom using it is ax-nur 214.