<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">\chapter{ć°ĺ­ŚçŻĺ˘}

\TeX\ ĺćŹćŻ Knuth ä¸ä¸şćçć°ĺ­ŚçąťäšŚçąčĺźĺçďźäşŚĺłćçć°ĺ­ŚĺŹĺźćŻ \TeX\ ććéżçäťťĺĄďźčżäšćŻćĺŻšć°ĺ­ŚçĺŻä¸ĺ´čśŁäşăĺ¸ćä˝&nbsp;ćŻĺ&nbsp;ä¸şĺćŹ˘ć°ĺ­ŚčĺćŹ˘ \TeXă

\section{ä¸¤ç§ć¨Ąĺź}

\TeX\ ć°ĺ­ŚĺŹĺźćä¸¤ç§ć¨Ąĺźďźä¸ç§ćŻć­Łćć¨Ąĺźďźtext modeďźďźä¸ç§ćŻćžćć¨Ąĺźďźdisplay modeďźďźĺ¨ \ConTeXt\ ä¸­ďźčŞçśäšćŻĺŚć­¤ăĺ˝çśďźĺŻč˝ä˝&nbsp;č§ĺžćžćć¨Ąĺźčżä¸Şç§°č°ä¸ĺ¤ä¸ĽčďźäşćŻéäşĺŽçäżç§°ăčĄé´ć¨Ąĺźăďźĺšść&nbsp;ä¸ĺŻďźčä¸ĺććäšĺŚć­¤ç§°č°ĺŽă

ć­Łćć¨Ąĺźéçć°ĺ­ŚĺŹĺźćžĺ¨ä¸ĺŻšçžĺçŹŚĺˇäšé´ďźćććŻćéąäşşé˝ç˛žéć°ĺ­ŚăäžĺŚ \type{$a^2 + b^2 = c^2$} äžżćŻć­Łćć¨Ąĺźçć°ĺ­ŚĺŹĺźďźĺśćççťćä¸ş $a^2 + b^2 = c^2$ă\TeX\ ć°ĺ­ŚĺŹĺźçčĄé´ć¨ĄĺźćŻćžĺ¨ä¸ĺŻšĺçžĺçŹŚĺˇäšé´ďźäžĺŚ

\starttyping[option=TEX]
$$
\int_0^{+\infty}f(x) {\rm d}x
$$
\stoptyping

\noindent ĺśćççťćä¸ş

$$
\int_0^{+\infty}f(x) {\rm d}x
$$

\noindent ä˝ćŻďźĺ¨ \ConTeXt\ éďźčĄé´ć¨ĄĺźĺťşčŽŽç¨äťĽä¸ĺ˝˘ĺźçčŻ­ćł

\starttyping[option=TEX]
\startformula
\int_0^{+\infty}f(x) {\rm d}x
\stopformula
\stoptyping
\startformula
\int_0^{+\infty}f(x) {\rm d}x
\stopformula

\noindent čłäşĺĺ&nbsp;ä¸şä˝ďźćłĺżä˝&nbsp;ĺˇ˛çťçĽéäşďź\ConTeXt\ ĺŻš \type{\startformula ... \stopformula} çŻĺ˘çčĄé´ĺŹĺźéťčŽ¤ćäžäşĺąä¸­ĺŻšé˝äťĽĺĺĺçŠşç˝ćŻćăä¸şäťäš \ConTeXt\ ä¸ĺŻš \type{$$...$$} ćäžçąťäźźçćŻćĺ˘ďźĺ&nbsp;ä¸ş \ConTeXt\ éčŚäťĽä¸ç§çťä¸çćšĺźć§ĺśčĄé´ĺŹĺźĺĺççŠşç˝ĺ¤§ĺ°ďźäžĺŚćśé¤čĄé´ĺŹĺźĺĺçŠşç˝ďźĺŞé

\starttyping[option=TEX]
\setupformulas[spacebefore=0pt,spaceafter=0pt]
\startformula
\int_0^{+\infty}f(x) {\rm d}x
\stopformula
\stoptyping
\setupformulas[spacebefore=0pt,spaceafter=0pt]
\startformula
\int_0^{+\infty}f(x) {\rm d}x
\stopformula

\noindent čĽĺşäş \type{$$...$$} ć&nbsp;čŽ°ĺĺžéžĺŽç°čŻĽćšĺźă

\section{ĺŹĺźçźĺˇ}

ĺŚĺćĺžĺčĄ¨ć&nbsp;źďźčĄé´ć°ĺ­ŚĺŹĺźäšćä¸ä¸Şćžç˝Žĺ˝äť¤ \type{\placeformula}ăäžĺŚ

\starttyping[option=TEX]
\placeformula
\startformula
\int_0^{+\infty}f(x) {\rm d}x
\stopformula
\stoptyping

\placeformula[math-example]
\startformula
\int_0^{+\infty}f(x) {\rm d}x
\stopformula

\ConTeXt\ čĄé´ĺŹĺźćŻćĺźç¨ďźäžĺŚ

\starttyping[option=TEX]
\placeformula[math-example]
\startformula
\int_0^{+\infty}f(x) {\rm d}x
\stopformula
\stoptyping

\noindent çąťäźźćĺžĺčĄ¨ć&nbsp;źďźä˝żç¨ \type{\in[...]} čżčĄĺźç¨ăäžĺŚ \type{\in[math-example]}ďźçťćä¸şă\in[math-example]ăă

\section{ĺŽçĺčŻć}

\ConTeXt\ ćŞćäžĺŻç´ćĽç¨äşćçć°ĺ­ŚĺŽçĺčŻćçĺ˝äť¤ďźä˝ćŻćäťŹĺŻäťĽĺĺŠćä¸žçŻĺ˘ĺŽäšĺŽäťŹăćäťŹĺŻšćä¸žçŻĺ˘äşĺŽä¸ĺšśä¸éçďźĺ&nbsp;ä¸şćŠĺˇ˛č§čŻčżĺŽçä¸ä¸ŞçšäžďźĺčĄ¨ă

ä˝żç¨ \type{\defineenumeration} ĺŻäťĽĺŽäšä¸ç§ć°çćä¸žçšäžăäžĺŚ

\starttyping[option=TEX]
\defineenumeration[theorem][text=ĺŽç]
\stoptyping

çśĺäžżĺŻä˝żç¨čŻĽçšäžďź

\starttyping[option=TEX]
\starttheorem
ĺĄäşşçćä¸ć­ťďźĺĄäşşçéĄťäžĺĽă
\stoptheorem
\stoptyping

\noindent çťćä¸ş

\startblueframedtext
\defineenumeration[theorem][text=ĺŽç]
\starttheorem
ĺĄäşşçćä¸ć­ťďźĺĄäşşçéĄťäžĺĽă
\stoptheorem
\stopblueframedtext

ćĽä¸ćĽďźčŽŠĺŽçĺşĺˇä¸ĺŽçĺĺŽšççŹŹä¸čĄĺ¤äşĺä¸čĄďźčŽŠçé˘ć´ĺ&nbsp;ç´§ĺďźserriedďźďź

\starttyping[option=TEX]
\defineenumeration[theorem][text=ĺŽç,alternative=serried]
\starttheorem
ĺĄäşşçćä¸ć­ťďźĺĄäşşçéĄťäžĺĽă
\stoptheorem
\stoptyping

\startblueframedtext
\defineenumeration[theorem][text=ĺŽç,alternative=serried]
\starttheorem
ĺĄäşşçćä¸ć­ťďźĺĄäşşçéĄťäžĺĽă
\stoptheorem
\stopblueframedtext

ç°ĺ¨ďźĺŞéĺ°ĺŽççĺŽ˝ĺşŚčŽžä¸ş \type{broad} ć \type{\textwidth}ďźäžżĺŻčŽŠĺŽççźĺˇĺĺŽçĺĺŽšä¸čłäşĺŚć­¤ééďźéĄşäžżĺ°ĺŽçĺĺŽšçĺ­ä˝ĺć˘ä¸şç˛ä˝ďź

\starttyping[option=TEX]
\defineenumeration[theorem][text=ĺŽç,alternative=serried,width=broad,style=\bf]
\starttheorem
ĺĄäşşçćä¸ć­ťďźĺĄäşşçéĄťäžĺĽă
\stoptheorem
\stoptyping

\noindent çťćä¸ş

\startblueframedtext
\defineenumeration[theorem][text=ĺŽç,alternative=serried,width=broad,style=\bf]
\starttheorem
ĺĄäşşçćä¸ć­ťďźĺĄäşşçéĄťäžĺĽă
\stoptheorem
\stopblueframedtext

çąäşćä¸žçŻĺ˘çćŻćĺźç¨ďźĺ&nbsp;ć­¤ä¸čż°ĺŽäšçĺŽçĺŻĺč´šçť§ćżčŻĽĺč˝ăäžĺŚ

\starttyping[option=TEX]
\starttheorem[ĺé˘çĽĺŽç]
ĺĄäşşçćä¸ć­ťďźĺĄäşşçéĄťäžĺĽă
\stoptheorem

ĺŚĺŽç \in[ĺé˘çĽĺŽç] ćčż°âŚâŚ
\stoptyping

\startblueframedtext
\defineenumeration[theorem][text=ĺŽç,alternative=serried,width=broad,style=\bf]
\starttheorem[ĺé˘çĽĺŽç]
ĺĄäşşçćä¸ć­ťďźĺĄäşşçéĄťäžĺĽă
\stoptheorem

ĺŚĺŽç \in[ĺé˘çĽĺŽç] ćčż°âŚâŚ
\stopblueframedtext

çąťäźźĺ°ďźäšĺşäşćä¸žçŻĺ˘ĺŽäščŻćďźĺŞéĺťćĺşĺˇďźĺšśĺ¨čŻćçťĺ°žĺąĺłćžç˝Ž $\square$ çŹŚĺˇăäžĺŚ

\starttyping[option=TEX]
\defineenumeration
  [proof]
  [text=čŻć,alternative=serried,width=broad,
   number=no,closesymbol={$\square$}]
\startproof
ĺ&nbsp;ä¸şäşşççĺ˝ćŻćéçďźä¸şäşşć°ćĺĄćŻć&nbsp;éçăćäťŹĺşĺ˝ĺ°ćéççĺ˝ćĺĽĺ°ć&nbsp;éçä¸şäşşć°ćĺĄä¸­ĺťă
\stopproof
\stoptyping
\startblueframedtext
\defineenumeration
  [proof]
  [text=čŻć,alternative=serried,width=broad,
   number=no,closesymbol={$\square$}]
\startproof
ĺ&nbsp;ä¸şäşşççĺ˝ćŻćéçďźä¸şäşşć°ćĺĄćŻć&nbsp;éçăćäťŹĺşĺ˝ĺ°ćéççĺ˝ćĺĽĺ°ć&nbsp;éçä¸şäşşć°ćĺĄä¸­ĺťă
\stopproof
\stopblueframedtext

\section{ĺ°çť}

ç°ĺ¨ä˝&nbsp;ĺˇ˛çťĺşćŹĺ­Śäźäş \ConTeXt\ ć°ĺ­ŚĺŹĺźćçăä¸ \ConTeXt\ ć°ĺ­Śćçä¸ĺŽśç¸ćŻďźä˝&nbsp;çźşäšçĺŻč˝ä¸ťčŚćŻĺŚä˝ççťĺ°čžĺĽĺˇä˝çć°ĺ­ŚĺŹĺźăčĽćłĺ¨čżćšé˘č˝ććç˛žčżďźĺŻĺč \ConTeXt\ Wiki çăMathăéĄľé˘\cite[math]ă</pre></body></html>