1 Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/88.0.4324.104 Safari/537.36 /rde/contents/library/ps2img/cgi-bin/eqn2gif.cgi 157.118.206.41 1612073800 2021/01/31 15:16:40 y=f(x) \begin{prooftree} \AxiomC{$ Bp \to BBp \to Bq $} \AxiomC{$ [Bp]^1 $} \RightLabel{\scriptsize{$ \to E $}} \BinaryInfC{$ BBp \to Bq $} \AxiomC{$Bp \to BBp $} \AxiomC{$ [Bp]^1 $} \RightLabel{\scriptsize{$ \to E $}} \BinaryInfC{$ BBp $} \RightLabel{\scriptsize{$ \to E $}} \BinaryInfC{$ Bq $} \AxiomC{$ Bq \to q $} \RightLabel{\scriptsize{$ \to E $}} \BinaryInfC{$ q $} \RightLabel{\scriptsize{$ \to I,1 $}} \UnaryInfC{$ Bp \to q $} \end{prooftree} 使えるLaTeXコマンド一覧 3 [画像は表示できません] 変換 現在使用可能なLaTeXコマンド一覧 \! \& \, \Cal \Cph \Cps \Cth \Delta \Gamma \Im \LaTeX \LaTeXe \Lambda \Mqqa \Mqqb \Mss \Mtt \Omega \Phi \Pi \Pr \Psi \Re \Sal \Sigma \Sph \Sps \Sth \TeX \Theta \Upsilon \Vq \Vs \Vt \Xi \_ \acute \alpha \angle \arccos \arcsin \arctan \arg \ast \backslash \bar \beta \breve \cal \cap \cdot \cdot \cdots \check \chi \circ \clubsuit \cong \cos \cosh \cot \coth \cph \cps \csc \cth \cup \ddot \ddots \deg \delta \det \diamondsuit \dim \displaystyle \div \dot \epsilon \equiv \eta \exists \exp \flat \forall \frac \gamma \gcd \geq \gg \grave \hat \heartsuit \hline \hom \hspace \inf \int \iota \kappa \ker \lambda \ldots \left \leftarrow \leftrightarrow \leq \lg \lim \liminf \limsup \ll \ln \log \mathrm \mathstrut \max \mbox \min \mp \mu \natural \neq \nonumber \not \nu \o \omega \overline \overrightarrow \par \partial \phi \pi \pm \psi \raisebox \rho \right \rightarrow \rm \sal \seq \sharp \sigma \sim \simeq \sin \sinh \spadesuit \sph \sps \sqrt \sth \subset \sum \sup \supset \surd \tan \tanh \tau \theta \tilde \times \triangle \underline \upsilon \varepsilon \varpi \varpsi \varrho \varsigma \vartheta \vdots \vec \vect \vee \vspace \wedge \widetilde \xi \zeta \{ \} \begin{array} \end{array} \begin{tabular} \end{tabular} 20210131_150914 http://www.mech.tohoku-gakuin.ac.jp/rde/contents/library/ps2img/eqn2gif_online.html Sun Jan 31 15:16:40 2021