Tau (τ) shown as 't' on windows
Windows displays 't' instead of 'τ' (tau) in error messages.
This can cause confusion for users when they get error messages such as Encountered temporal nondeterminism for t.
, as they will perhaps not make the connection that 't' is actually the τ action. This was the case when I started learning Modest.