Unicode not accepted

[mariari]

＋＋ is not a valid starting symbol

    |
117 | ＋ : Nat;
    | ^^^
unexpected "＋ :"
expecting "axiom", "builtin", "compile", "end", "eval", "foreign", "import", "inductive", "infix", "infixl", "infixr", "module", "open", "postfix", "print", or "terminating"

note github does not properly render it, paste it into emacs and run M-x describe-char

likewise

✪㉨✪ is not accepted, so I can't make bear faces in code （✪㉨✪）：（

[paulcadman]

@mariari can you tell us which unicode code point you typed for the fancy + symbol?