The true meaning of Sol regarding time on Mars
From the Wikipedia page on Martian timekeeping:
“Sol” is often used as a direct replacement for “Day” when concerning Mars. Mission duration for Mars missions is measured in Sols, so saying “Today is Sol xyz” would be normal, but I’m not sure if anyone would say “what a wonderful Sol tomorrow is going to be”.
I could imagine some pedantic conversation like: Team leader: "What a wonderful day it is!". Science Advisor: "Don't you mean 'what a wonderful SOL' ?"
But is Sol global or local on Mars? Does every lander has its own midnight definition? Does it change as a rover moves? On Earth we have a definition of day for each time zone. When the Sun is on the opposite side of Earth, a new day begins. When does a global Sol begin? Are their timezones on Mars? How many, 24.6, or don't you use 12 h watches to keep track of mission time there? @MarkAdler
Local. Each lander has its own "time zone" with noon defined by the local mean solar time at the location of the landing. It does not change as the rover moves. (The variations in the true local noon due to the eccentricity of Mars' orbit is much greater than the change due to the trek of the rover.) There are 24 Mars hours in a Mars solar day, which are used for rover activity planning. There are no global time zones in use (though I'm sure someone has defined some for fun).