# What is the criterion to be supported in Unicode Input in Julia REPL?

**URL:** <https://discourse.julialang.org/t/what-is-the-criterion-to-be-supported-in-unicode-input-in-julia-repl/26277>\
**Category:** Internals & Design\
**Created:** [July 12, 2019, 7:09am UTC](https://discourse.julialang.org/t/what-is-the-criterion-to-be-supported-in-unicode-input-in-julia-repl/26277 "2019-07-12T07:09:04Z")\
**Posts on this page:** 5\
**Page:** 1

<div class="post-metadata">

**Author:** ![paalon](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/paalon/32/5784_2.png) [@paalon](https://discourse.julialang.org/u/paalon)\
**Post date:** [July 12, 2019, 7:09am UTC](https://discourse.julialang.org/t/what-is-the-criterion-to-be-supported-in-unicode-input-in-julia-repl/26277/1 "2019-07-12T07:09:04Z")

</div>

What is the criterion to be adopted in Unicode Input in Julia REPL?  
The list ([Unicode Input · The Julia Language](https://docs.julialang.org/en/v1/manual/unicode-input/#Unicode-Input-1)) shows most of the famous LaTeX completion sequences are supported but some alternative names (such as `\lor` and `\land`) are not.

---

<div class="post-metadata">

**Author:** ![chakravala](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/chakravala/32/6832_2.png) [@chakravala](https://discourse.julialang.org/u/chakravala)\
**Post date:** [July 12, 2019, 7:18am UTC](https://discourse.julialang.org/t/what-is-the-criterion-to-be-supported-in-unicode-input-in-julia-repl/26277/2 "2019-07-12T07:18:09Z")

</div>

Instead of `\land` and `\lor` we use `\wedge` and `\vee` provided by

> **[GitHub - scheinerman/AbstractLattices.jl: Abstract lattice functions meet and...](https://github.com/scheinerman/AbstractLattices.jl)**
>
> Abstract lattice functions meet and join, with symbols \\wedge and \\vee - GitHub - scheinerman/AbstractLattices.jl: Abstract lattice functions meet and join, with symbols \\wedge and \\vee

---

<div class="post-metadata">

**Author:** ![paalon](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/paalon/32/5784_2.png) [@paalon](https://discourse.julialang.org/u/paalon)\
**Post date:** [July 12, 2019, 8:46am UTC](https://discourse.julialang.org/t/what-is-the-criterion-to-be-supported-in-unicode-input-in-julia-repl/26277/3 "2019-07-12T08:46:47Z")

</div>

I know `\wedge` = `\vee` and `\land` = `\lor` but my question is why some synonyms are adopted but not completed for all. I think to understand it I need to know the criterion to be supported or the history of the implementation.

---

<div class="post-metadata">

**Author:** ![Per](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/per/32/10387_2.png) [@Per](https://discourse.julialang.org/u/Per)\
**Post date:** [July 12, 2019, 8:50am UTC](https://discourse.julialang.org/t/what-is-the-criterion-to-be-supported-in-unicode-input-in-julia-repl/26277/4 "2019-07-12T08:50:38Z")

</div>

The code used to generate the list of symbols can be found here:  
[https://github.com/JuliaLang/julia/blob/67cdc550a0c5d615c4071b7fae12caaf85d01e30/stdlib/REPL/src/latex\_symbols.jl](https://github.com/JuliaLang/julia/blob/67cdc550a0c5d615c4071b7fae12caaf85d01e30/stdlib/REPL/src/latex_symbols.jl)

---

<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:** [July 12, 2019, 9:03am UTC](https://discourse.julialang.org/t/what-is-the-criterion-to-be-supported-in-unicode-input-in-julia-repl/26277/5 "2019-07-12T09:03:10Z")

</div>

I am not aware of an expicit policy, my impression is that these things are decided on a case by case basis. You can see some past and current discussions here:

> **[Issues · JuliaLang/julia](https://github.com/JuliaLang/julia/issues?utf8=%E2%9C%93&q=label%3Aunicode%2Blabel%3AREPL)**
>
> The Julia Programming Language. Contribute to JuliaLang/julia development by creating an account on GitHub.

Opening an issue cannot hurt.