Star markup

Purpose

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>.