convertDotToTimes (aka times) is an option the content creators have to
use × (TIMES) rather than · (CDOT) for multiplication (for younger learners).
Some locales only use one or the other for all multiplication regardless
of age.
convertDotToTimesByLocale overrides convertDotToTimes for those locales.
Parameters
locale: string
convertDotToTimes: boolean
the setting set by content creators
Returns boolean
true to convert to × (TIMES), false to use · (CDOT)
convertDotToTimes (aka
times) is an option the content creators have to use × (TIMES) rather than · (CDOT) for multiplication (for younger learners). Some locales only use one or the other for all multiplication regardless of age.convertDotToTimesByLocale overrides convertDotToTimes for those locales.