nuwa/dev: links for smart-notation