實驗

確定可以用 LaTeX 寫代數作業之後，我這次要做更進一步的嘗試：引進 AoP 風格的 reasoning。意思就是會出現 "P1 <= { reason } P2 <= ... <= { reason } true" 這種在一般數學書上很少見的符號 XD。

--
其實這種符號滿值得推廣的 XD。