グラフィカルユーザーインターフェイス(gui)に移行してからも要素のチェックボックスにも「×」が使われていた。