or simpley `return self.__print_Boolean(e, altchar or u("\u2192"), sort=False)`