[tz] [PATCH] * Theory: Prefer '≤' to '<=' in commentary.