*View this file with results and syntax highlighting [here](https://mlochbaum.github.io/BQN/help/atop.html).*

# Ring Operator (`∘`)

## `𝔽∘𝔾 𝕩`: Atop
[→full documentation](../doc/compose.md)

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

`𝔽` and `𝔾` must be monadic.

        -∘- 5

        - - 5



## `𝕨 𝔽∘𝔾 𝕩`: Dyadic Atop
[→full documentation](../doc/compose.md)

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

`𝔽` must be monadic, and `𝔾` must be dyadic.

        1 -∘+ 2

        1 - + 2

        - 1 + 2