個別の天体名の表記方法

個別の天体ごとに表示プロパティを設定する場合や、位置指定に天体名を使う場合の、天体名の表記方法について説明します。