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