* Theory: Prefer '≤' to '<=' in commentary.