用 TeX 寫數學公式時常見的錯誤與解法

Hacker News 上看到「The Art of LaTeX: Common mistakes and advice for typesetting proofs (fanpu.io)」,原文在「The Art of LaTeX: Common Mistakes, and Advice for Typesetting Beautiful, Delightful Proofs」這,在講用 TeX 寫數學公式時常見的錯誤 (以及正確的寫法)。

裡面給了蠻多還蠻實用的提醒,像是第一點提出來的這兩個差異:

以及:

上面是用最單純的 {( 寫的,要達到下面比較正確的效果,不應該用 \bigl 這種直接指定括弧大小的用法,而是用 \left( 這種告訴 TeX 排版引擎這邊的意義,然後算出需要拿多大的括弧出來用。

畢竟 TeX 是 Knuth 老人家弄出來的東西,你會看到很多設計是需要給 TeX 排版引擎正確的定義或是資訊,剩下的他就會幫你處理...

GitHub 可以在 Markdown 文件裡寫 TeX 語法了

Hacker News 首頁上看到 GitHub 上的「Render mathematical expressions in Markdown」這個公告:

You can now use LaTeX style syntax to render math expressions within Markdown inline (using $ delimiters) or in blocks (using $$ delimiters).

其中 TeX rendering 這塊是透過 MathJax 產生的:

GitHub's math rendering capability uses MathJax; an open source, JavaScript-based display engine.

我記得 MathJax 的效能好像不怎麼樣... 反正是跑在使用者端的 javascript?XD

LaTeX 的字型展示

Hacker News 首頁上看到「The LaTeX Font Catalogue (tug.org)」這個,提到 LaTeX 的字型:「The LaTeX Font Catalogue – Front Page」。

在 Hacker News 上的討論有人提到 LaTeX 的字型印出來很好看,但電腦上看就還好 (不差),這點我還蠻認同的,在螢幕上有其他更好看的字型可以用。

就目前看過的書籍來說,TeX 預設的字型 (Computer Modern 系列) 印出來真的超漂亮的,像是 Knuth 老大的 TAOCP

話說 Knuth 老大的 TAOCP... (說好不提 261?)

在 TeX 上輸出圍棋棋譜的套件 psgo_emitter

忘記是在哪邊看到 avysk/psgo_emitter 這個套件,提供 TeX 語法輸出成圍棋棋盤的圖示,不過說明裡說只支援 Windows 平台:

psgo_emitter is a (Windows) console utility to create go diagrams for go life-and-death problems (tsumego).

可以只輸出角部,像是這段語法:

    begin{psgopartialboard}{(1,1)(8,6)}
            stone{black}{b}{3}
            stone{black}{d}{3}
            stone{black}{b}{4}
            stone{white}{d}{5}
            stone{white}{g}{2}
            stone{black}{d}{2}
            stone{white}{b}{5}
            stone{white}{c}{4}
            stone{white}{e}{4}
            stone{white}{e}{3}
            stone{white}{e}{2}
            stone{black}{e}{1}
    end{psgopartialboard}

會輸出這樣的圖:

另外也可以把手順放進去:

    begin{psgopartialboard}{(1,1)(8,6)}
            stone{black}{b}{3}
            stone[marklb{1}]{black}{a}{2}
            stone{black}{d}{3}
            stone{black}{b}{4}
            stone[marklb{8}]{white}{f}{1}
            stone[marklb{6}]{white}{d}{1}
            stone{white}{e}{2}
            stone{white}{g}{2}
            stone{black}{d}{2}
            stone{white}{b}{5}
            stone[marklb{7}]{black}{b}{2}
            stone[marklb{9}]{black}{a}{1}
            stone{white}{c}{4}
            stone[marklb{4}]{white}{c}{2}
            stone{white}{e}{4}
            stone[marklb{5}]{black}{c}{3}
            stone{white}{e}{3}
            stone[marklb{2}]{white}{b}{1}
            stone{white}{d}{5}
            stone[marklb{3}]{black}{a}{4}
            stone{black}{e}{1}
    end{psgopartialboard}

就會輸出:

套件還很新,不知道之後會發展成什麼樣子...

在網頁上看 arXiv 的論文

Hacker News Daily 上看到的服務「Arxiv Vanity – Read academic papers from Arxiv as web pages」:

Arxiv Vanity renders academic papers from Arxiv as responsive web pages so you don’t have to squint at a PDF.

不過實際測試發現只有有提供 TeX 格式原始檔才有辦法轉,沒提供的就不行了...

打數學式子的工具

看到 Mathcha 這個網站,除了可以輸入 TeX 的公式外,也有 WYSIWYG 的方式輸入,而最後可以輸出成各種格式 (包括 TeX),或是直接丟連結給其他人:

輸入的部份,對於不知道的符號葉可以用畫的 XD

然後網站上的標示寫沒有支援 IE 與 Edge,不知道是真得不支援還是沒列上去而已... XD

Leslie Lamport 拿下 2013 年圖靈獎 (Turing Award)

Leslie Lamport - A.M. Turing Award Winner

For fundamental contributions to the theory and practice of distributed and concurrent systems, notably the invention of concepts such as causality and logical clocks, safety and liveness, replicated state machines, and sequential consistency.

分散式系統領域的老大與 LaTeX 的發明人...

網頁版 WYSIWYG 的 LaTeX 編輯器...

網頁版 WYSIWYG 的 LaTeX 編輯器:「writeLaTeX」。

左邊是編輯區,右邊是 preview 視窗。沒有很即時,不過應該還是很操系統資源。(可以看出來一修改後,後端就在 recompile 輸出...)

左邊編輯區的 solarized 配色看起來好舒服啊,vim 要不要換呢...