I looked at the patch and meant to send it upstream, but I noticed that it conflicts with "≤" and "≥", so you don't actually get the double arrows with the patch.
I looked at the patch and meant to send it upstream, but I noticed that it conflicts with "≤" and "≥", so you don't actually get the double arrows with the patch.