* Android has no font that renders U+00B7 in full width, so skip that substitution for now.