Used in my observing logs to refer to a star.
<star>Name of star goes here</star>
Given that many starts have different names and catalogue numbers I have no hard rule about what name is used.
Using more common names:
With 10mm eyepiece it was very easy to split <star>Mizar</star> and <star>Zeta Ursae Majoris</star>.
Using a catalogue number:
The planet was quite close to <star>TYC5575-473-1</star>.