Trying to use "R=∞" as string in python but get error

Mine is not checked…

:man_facepalming:

Not something daft like having a slightly different console display font that refuses to understand Unicode? I’ve had that before with Python, where a font looks almost identical… but it isn’t. But I see you all use the same editor.