垂直記号
LaTeX では \perp を用いる。