I read [Unicode input documentation](https://docs.julialang.org/en/v1/manual/unicode-input/#Unicode-Input), and I realized there is no shortcut to input these two symbols. So... How did you enter these two characters? If it's copy and paste, maybe I think we need an equivalent convenience.