added double symbols global