ダウンタック記号
LaTeX では \top を用いる。