extend_charmap.py: use python's `a < b < c' syntax sugar.