{{{id}}} 可以喺 nLab 揾到

模解[]