You're right, there are dot versions of .≤, just not other Unicode operators. As Mauro said, the parser is just tokenizing 5.≤x as 5. ≤ x. It is annoyingly inconsistent here:
julia> parse("5.≤x")
:(5.0 ≤ x)
julia> parse("5.<=x")
:(5 .<= x)
You're right, there are dot versions of .≤, just not other Unicode operators. As Mauro said, the parser is just tokenizing 5.≤x as 5. ≤ x. It is annoyingly inconsistent here:
julia> parse("5.≤x")
:(5.0 ≤ x)
julia> parse("5.<=x")
:(5 .<= x)