[[label-symbol]] [[symbol]]
[[label-user-defined]] [[user-defined]]
[[comment]]