View this file with results and syntax highlighting here.

Ring Operator (∘)

𝔽∘𝔾 𝕩: Atop

→full documentation

Apply 𝔾 to 𝕩, then apply 𝔽 (𝔽 𝔾 𝕩).

𝔽 and 𝔾 must be monadic.

    -∘- 5

    - - 5

𝕨 𝔽∘𝔾 𝕩: Dyadic Atop

→full documentation

Apply 𝔾 to 𝕨 and 𝕩, then apply 𝔽 (𝔽 (𝕨 𝔾 𝕩)).

𝔽 must be monadic, and 𝔾 must be dyadic.

    1 -∘+ 2

    1 - + 2

    - 1 + 2