Creating and generation (unique and global unique) true symbols