[ Number ] square root

☞ x ≔ 49.
☞ y ≔ x square root.
✎ write: y, stop.
7