Thanks for the responses. The wingdings font in the character map for Windows shows it like the first symbol, and this is the way I think it is usually written. I have, however, seen it the other way and was mainly wondering whether both ways might be correct.