You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
For a document on bussproofs for Gentzen-style proofs, two Fitch-style packages, and also mentioning Lemmon style proofs, see Proofs in LaTeX (Alex Kocurek 2019). Natural deduction and sequent proofs, Gentzen-style The standard package in recent years has been bussproofs.sty (Sam Buss: download the latest version, 1.1, June 2011). Note that there is a LaTeX for Logicians User Guide to bussproofs.s
ASCII Booksのサイトをご利用いただき、ありがとうございます。 2016年12月6日をもちまして、サイトを閉鎖させていただくことになりました。 今までサイトをご利用いただき、ありがとうございました。 アスキー・メディアワークスを引き続き、よろしくお願いいたします。
レポートでカルノー図が必要になったので、LaTeXでカルノー図描けるようにした。 これを参考に、ちょっとだけ変えた。 こんなのが生成できる。便利だ。 LaTeXでカルノー図 具体的にはまず\documentclassを \documentclass[a4j,10pt,dvipdfmx]{jarticle} みたいな感じにする。dvipdfmxを入れないと他の画像類がうまく表示されないっぽい。次に \usepackage[dvipdfmx]{graphicx} \usepackage{tikz} \usetikzlibrary{matrix,calc} と上のソースの8行目くらいから73行目くらいの両方をプリアンブルに突っ込む。 本文に \begin{center} \begin{figure} \centering \begin{Karnaugh}{$\tt{x_1 x_0}$}{$\tt
LaTeXで箇条書きなどのリストが簡単に作れる easylist というパッケージの使い方について紹介する。特に箇条書きを多用する状況でこのパッケージは威力を発揮する。 easylistパッケージで箇条書きを簡単に LaTeXで箇条書きを作りたい場合、easylist パッケージが非常に便利だ。このパッケージを使うと、非常に簡単に箇条書きを記述することができる。特に、箇条書きの中に箇条書きが埋め込まれているような複雑な場合において、この easylist パッケージは強い味方になる。 LaTeXに最初から組み込まれている itemize や enumerate といった環境でも箇条書きを記述することはできるが、これらの環境の記述は複雑になりがちだ。easylist パッケージは itemize や enumerate といった環境よりずっと単純に記述できるのだ。 easylist パッケー
Did this help? Hosting Detexify costs money and if it helps you may consider helping to pay the hosting bill. Want a Mac app? Lucky you. The Mac app is finally stable enough. See how it works on Vimeo. Download the latest version here. Restriction: In addition to the LaTeX command the unlicensed version will copy a reminder to purchase a license to the clipboard when you select a symbol. You can p
Account Suspended This Account Has Been Suspended
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く