@ ➔ ⇨ ⟹ @ 16 ➔ 15

@ ➔ ⇦ ⟹ ✗

@ ➔ ⇧ ⟹ @ ⇧

@ ➔ * ⟹ @ *

@ ➔ * ┃ ⟹ ✗

@ ➔ * * ⟹ ✗

16 ➔ 0 ⟹ 👍