I have just used the BetterTouchTool app to replicate the Shift-Option-9 keystroke command with Command-Comma. This is used to correctly differentiate between a decimal point and a period.

Example: 3.07 vs 3·07.

2017-03-25T16:08:57Z