Как использовать "::" в качестве префикса для фрагмента в VSCode?

Question

Я пытаюсь создать фрагмент, чтобы при вводе TAB после ввода :: я получал версию двойного двоеточия в Юникоде: ∷.

Мои попытки экранирования с различными обратными слешами \\:\\: и \\\:\\\: не удалось мне.

{ "Insert double colon": {
    "prefix": "::",
    "body": [ "∷$0" ],
    "description": "Inserts a unicode type annotation sign"
}

Я ожидаю, что смогу нажать TAB после ::, но он вставит только несколько пробелов.