| thiên thành | tt. Trời làm ra, xui nên: Giai-ngẫu tự thiên-thành. // X. Thiên-thị. |
| Năm 1889 , chính quyền thành phố cho lấp quãng sông này lấy đất làm chợ Đồng Xuân thay cho chợ Cầu Đông đã quá chật hẹp thì thôn Huyền thiên thành phố Hàng Khoai ngày nay. |
| Năm thiên thành thứ 3 (1030) , Lý Thái Tông đi cày ruộng tịch điền ở Bố Hải Khẩu là nơi này (bấy giờ ở đây còn là cửa biển nên gọi tên như vậy). |
| Mùa xuân , tháng 2 , lấy ngày sinh nhật của vua làm tiết thiên thành , lấy tre kết làm một ngọn núi gọi là Vạn Thọ Nam Sơn ở ngoài cửa Quảng Phúc , trên núi làm nhiều hình chim bay thú chạy , muôn vẻ lạ kỳ. |
| Mùa xuân , tháng 2 , vua thấy tiết thiên thành làm núi giả khó nhọc cho dân , bãi đi , chỉ đặt yến lễ mà thôi. |
| Mậu Thìn , (Thuận Thiên) năm thứ 19 (1028) , (Từ tháng 3 về sau là niên hiệu Lý Thái Tông , thiên thành năm thứ 1 ; Tống Thiên Thánh năm thứ 6). |
| Đổi niên hiệu là thiên thành năm thứ 1. |
* Từ tham khảo:
- mạy châu
- mạy tèo
- mắc
- mắc
- mắc áo
- mắc cái eo