add the ability to inline a symbol in a set#451

redianthus merged 1 commit intoformalsec:mainformalsec/smtml:mainfrom

redianthus:inline_symbolredianthus/smtml:inline_symbolCopy head branch name to clipboard