Closed GoogleCodeExporter closed 9 years ago
Allow use of <= /= >= as unicode characters.
Original issue reported on code.google.com by rudla.ku...@gmail.com on 28 Feb 2011 at 7:23
rudla.ku...@gmail.com
≤ 0x2264 ≥ 0x2265 ≠ 0x2260 √ 0x221A ∈ 0x2208
Original comment by rudla.ku...@gmail.com on 28 Feb 2011 at 7:37
Original comment by rudla.ku...@gmail.com on 14 Jun 2011 at 1:29
Original issue reported on code.google.com by
rudla.ku...@gmail.com
on 28 Feb 2011 at 7:23