rom_k https://blog.hatena.ne.jp/rom_k/ coding@ease https://rom-k.hatenadiary.org/ tex texでTがひっくり返ったような記号（これ→）を出すために．graphicxをusepackageしといて，\rotatebox[origin=c]{180}{T}とすると出る．ただし面倒いのでマクロ作成 \newcommand{\contradiction}[0]{\rotatebox[origin=c]{180}{T}} これで，\contradictionとすれば出る． cf. LaTeX GRAPHICS編(basic) 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2From-k.hatenadiary.org%2Fentry%2F20060221%2Fp1" title="矛盾記号 - coding@ease" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2006-02-21 00:00:00 rich https://rom-k.hatenadiary.org/entry/20060221/p1 1.0 100%