つれづれなる備忘録

今回は論理記号のTex数式表現について取り上げる。エンジニアリングではあまり使わないが、(純粋)数学ではよく見かける。大学の数学の授業とかでも、説明なしでいきなり使われたことがあり困った経験がある。