You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
U+2236 (ratio) is used in some applications as a time separator as it is a kind of raised colon that looks better between the digits. It is used in GNOME shell and also in the Windows 10 task bar.
Source Sans Pro already has the very similar U+2237 (proportion) which is kind of like a double ratio symbol.
The text was updated successfully, but these errors were encountered:
U+2236 (ratio) is used in some applications as a time separator as it is a kind of raised colon that looks better between the digits. It is used in GNOME shell and also in the Windows 10 task bar.
Source Sans Pro already has the very similar U+2237 (proportion) which is kind of like a double ratio symbol.
The text was updated successfully, but these errors were encountered: