☞ x ≔ 123.
✎ 写: x 类型, 句末.