Thanks! By doing nothing at all—these are all just Unicode code points :o So if you're quick you can even copy a time as text. The only tricky thing was the symbol for 20 (and just that) didn't work on Android?? so I detect that and replace with two tens