Closed jamesyoungman closed 1 year ago
Current keyboard and charset.rs uses '∈' which is Element of, U+2208. But the components of a valid symex (Users Handbook, section 6-2.3, item 6) lists that symbol along with the greek characters, so presumably it's actually an epsilon.
So we need to changer keyboard.rs, charset.rs.
Current keyboard and charset.rs uses '∈' which is Element of, U+2208. But the components of a valid symex (Users Handbook, section 6-2.3, item 6) lists that symbol along with the greek characters, so presumably it's actually an epsilon.
So we need to changer keyboard.rs, charset.rs.