# Invalid character \\exists

**URL:** <https://discourse.julialang.org/t/invalid-character-exists/11204>\
**Category:** General Usage\
**Created:** [May 28, 2018, 4:48pm UTC](https://discourse.julialang.org/t/invalid-character-exists/11204 "2018-05-28T16:48:38Z")\
**Posts on this page:** 2\
**Page:** 1

<div class="post-metadata">

**Author:** ![tpoisot](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/tpoisot/32/19812_2.png) [@tpoisot](https://discourse.julialang.org/u/tpoisot)\
**Post date:** [May 28, 2018, 4:48pm UTC](https://discourse.julialang.org/t/invalid-character-exists/11204/1 "2018-05-28T16:48:38Z")

</div>

I was trying to create a new method, and apparently the `\exists` character is invalid – despite the fact that it is suggested by auto-complete. Is this something normal, or is something wrong on my end?

```julia
julia> ∃
ERROR: syntax: invalid character "∃"

```

---

<div class="post-metadata">

**Author:** ![Tamas\_Papp](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/tamas_papp/32/25949_2.png) [@Tamas\_Papp](https://discourse.julialang.org/u/Tamas_Papp)\
**Post date:** [May 28, 2018, 5:36pm UTC](https://discourse.julialang.org/t/invalid-character-exists/11204/2 "2018-05-28T17:36:00Z")

</div>

[https://github.com/JuliaLang/julia/issues/19012](https://github.com/JuliaLang/julia/issues/19012)