I think it should print as True. One advantage would be that we can copy/paste stuff without bothering to import `true`, and let sympify handle the conversion.