Q:  7.26.18  1:57 am technically microtones and quarter-tones are not the same things.
A: no but i find most often when people ask me about it they mean quarter tones