On Thu, Oct 3, 2019 at 2:28 PM Yuri Khan <yuri.v.khan@gmail.com> wrote:

> I believe in rulers and graphing these are called major ticks and
> minor ticks, respectively.

I kinda like it a lot. But it is perhaps a bit obscure?