Thread:Piisfun/@comment-37439980-20181124120450/@comment-34929636-20181125201126

that is the name of the symbol.