|
|
|
|
|
|
by seanmcdirmid
4062 days ago
|
|
|
> Also, does erasing the dot after ≱ yield ≥ or ≯? Yes. Actually, in my newest prototype, the dots disappear and we treat ≱ as having 3 characters (the first is !, the second is >, the third =). Deleting the first character is deleting the ! (you get ≥), or deleting the last character is deleting the = (you get ≯). |
|
|