diff options
author | Norbert Preining <norbert@preining.info> | 2019-09-02 13:46:59 +0900 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2019-09-02 13:46:59 +0900 |
commit | e0c6872cf40896c7be36b11dcc744620f10adf1d (patch) | |
tree | 60335e10d2f4354b0674ec22d7b53f0f8abee672 /language/polish/utf8mex/doc/test-math.utf8.tex |
Initial commit
Diffstat (limited to 'language/polish/utf8mex/doc/test-math.utf8.tex')
-rw-r--r-- | language/polish/utf8mex/doc/test-math.utf8.tex | 227 |
1 files changed, 227 insertions, 0 deletions
diff --git a/language/polish/utf8mex/doc/test-math.utf8.tex b/language/polish/utf8mex/doc/test-math.utf8.tex new file mode 100644 index 0000000000..aae9c00849 --- /dev/null +++ b/language/polish/utf8mex/doc/test-math.utf8.tex @@ -0,0 +1,227 @@ +%% Note that this file is UTF-8 encoded -*- coding: utf-8 -*- + +%% -- modified manmac macros + +\outer\def\begindisplay{\obeylines\startdisplay} +{\obeylines\gdef\startdisplay#1 + {\catcode`\^^M=5$$#1\halign\bgroup\indent##\hfil&&\qquad##\hfil\cr}} + +\chardef\other=12 +\def\ttverbatim{\begingroup + \catcode`\\=\other + \catcode`\{=\other + \catcode`\}=\other + \catcode`\$=\other + \catcode`\&=\other + \catcode`\#=\other + \catcode`\%=\other + \catcode`\~=\other + \catcode`\_=\other + \catcode`\^=\other + \obeyspaces \obeylines \tt} + +\outer\def\begintt{$$\let\par=\endgraf \ttverbatim \parskip=\z@ + \catcode`\|=0 \rightskip-5pc \ttfinish} +{\catcode`\|=0 |catcode`|\=\other % | is temporary escape character + |obeylines % end of line is active + |gdef|ttfinish#1^^M#2\endtt{#1|vbox{#2}|endgroup$$}} + +\newskip\ttglue +\ttglue=.5em plus.25em minus.15em + +\catcode`\|=\active +{\obeylines \gdef|{\ttverbatim \spaceskip\ttglue \let^^M=\ \let|=\endgroup}} + +\def\beginsymbols{$$%\displayindent=16pt + \vbox\bgroup\halign\bgroup + &\qquad\hbox to10pt{\hss$##$\hss}\enspace&\hbox to80pt{##\hss}\cr} +\outer\def\enddisplay{\crcr\egroup\egroup$$} +\let\endsymbols=\enddisplay + +%% --- + +\centerline{{\TeX}book, Chapter 16: Typing Math Formulas} + +$$ x × y ⋅ z \quad x ∘ y ∙ z \quad x ∪ y ∩ z $$ +$$ x ⊔ y ⊓ z \quad x ∨ y ∧ z \quad x ± y ∓ z $$ +$$ g^∘ ↦ g^∙ \quad f^*(x) ∩ f_*(y) $$ +$$ x ≤ y ≠ z \quad x ∼ y ≃ z \quad x ≡ y \not≡ z $$ +$$ x ⊂ y ⊆ z \quad f\colon A → B $$ + +\centerline{{\TeX}book, Chapter 17: More about Math} + +$$ ∑_{n=0}^∞ x_n = ∫_{-∞}^{∞} f(x)\,dx $$ + +\centerline{{\TeX}book, Chapter 18: Fine Point of Mathematics Typing} + +$$ \sin2θ=2\sinθ\cosθ \quad ℏ = 1.0545 × 10^{-27}\,\rm erg\,sec$$ +$$ Γ_{\!2}+Δ^{\!2} \quad A_1 × A_2 × \cdots × A_n$$ % missing \cdots in u8tex.el +$$ x_1x_2\ldots x_n $$ + +\centerline{{\TeX}book, Appendix F: Font Tables} + +\bigbreak +\centerline{\it Lowercase Greek letters} +\beginsymbols +α&|\alpha|&ι&|\iota|&ϱ&|\varrho|\cr +β&|\beta|&κ&|\kappa|&σ&|\sigma|\cr +γ&|\gamma|&λ&|\lambda|&ς&|\varsigma|\cr +δ&|\delta|&μ&|\mu|&τ&|\tau|\cr +ε&|\epsilon|&ν&|\nu|&υ&|\upsilon|\cr +\varepsilon&|\varepsilon|&ξ&|\xi|&ϕ&|\phi|\cr +ζ&|\zeta|&o&|o|&φ&|\varphi|\cr +η&|\eta|&π&|\pi|&χ&|\chi|\cr +θ&|\theta|&ϖ&|\varpi|&ψ&|\psi|\cr +ϑ&|\vartheta|&ρ&|\rho|&ω&|\omega|\cr +\endsymbols + +\bigbreak +\centerline{\it Uppercase Greek letters} +\beginsymbols +Γ&|\Gamma|&Ξ&|\Xi|&Φ&|\Phi|\cr +Δ&|\Delta|&Π&|\Pi|&Ψ&|\Psi|\cr +Θ&|\Theta|&Σ&|\Sigma|&Ω&|\Omega|\cr +Λ&|\Lambda|&Υ&|\Upsilon|\cr +\endsymbols + +\bigbreak +\centerline{\it Miscellaneous symbols of type Ord} +\beginsymbols +ℵ&|\aleph|&\prime&|\prime|&∀&|\forall|\cr +ℏ&|\hbar|&∅&|\emptyset|&∃&|\exists|\cr +ı&|\imath|&∇&|\nabla|&¬&|\neg|\cr +\jmath&|\jmath|&√&|\surd|&♭&|\flat|\cr +ℓ&|\ell|&⊤&|\top|&♮&|\natural|\cr +℘&|\wp|&⊥&|\bot|&♯&|\sharp|\cr +ℜ&|\Re|&∥&|\Vert|&♣&|\clubsuit|\cr +%ℜ&|\Re|&∥&|\|\|&♣&|\clubsuit|\cr +ℑ&|\Im|&∠&|\angle|&♢&|\diamondsuit|\cr +∂&|\partial|&△&|\triangle|&♡&|\heartsuit|\cr +∞&|\infty|&\backslash&|\backslash|&♠&|\spadesuit|\cr +\endsymbols + +\bigbreak +\centerline{\it Large operators} +$$\openup3pt +\vbox{\halign{&\qquad\hbox to10pt{\hss$#$\hss}\enspace& + \hbox to10pt{\hss$\displaystyle#$\hss}\enspace& + \hbox to60pt{#\hss}\cr +∑&∑&|\sum|&⋂&⋂&|\bigcap|& + \bigodot&\bigodot&|\bigodot|\cr +∏&∏&|\prod|&⋃&⋃&|\bigcup|& + \bigotimes&\bigotimes&|\bigotimes|\cr +∐&∐&|\coprod|&\bigsqcup&\bigsqcup&|\bigsqcup|& + \bigoplus&\bigoplus&|\bigoplus|\cr +∫&∫&|\int|&⋁&⋁&|\bigvee|& + \biguplus&\biguplus&|\biguplus|\cr +∮&∮&|\oint|&⋀&⋀&|\bigwedge|\cr +}}$$ + +\bigbreak +\centerline{\it Binary operations} +\beginsymbols +±&|\pm|&∩&|\cap|&∨&|\vee|\cr +∓&|\mp|&∪&|\cup|&∧&|\wedge|\cr +∖&|\setminus|&⊎&|\uplus|&⊕&|\oplus|\cr +⋅&|\cdot|&⊓&|\sqcap|&⊖&|\ominus|\cr +×&|\times|&⊔&|\sqcup|&⊗&|\otimes|\cr +∗&|\ast|&◃&|\triangleleft|&⊘&|\oslash|\cr +⋆&|\star|&▹&|\triangleright|&⊙&|\odot|\cr +⋄&|\diamond|&≀&|\wr|&†&|\dagger|\cr +∘&|\circ|&\bigcirc&|\bigcirc|&‡&|\ddagger|\cr +∙&|\bullet|&△&|\bigtriangleup|&∐&|\amalg|\cr +÷&|\div|&▽&|\bigtriangledown|\cr +\endsymbols + +\bigbreak +\centerline{\it Relations} +\beginsymbols +≤&|\leq|&≥&|\geq|&≡&|\equiv|\cr +≺&|\prec|&≻&|\succ|&∼&|\sim|\cr +≼&|\preceq|&≽&|\succeq|&≃&|\simeq|\cr +≪&|\ll|&≫&|\gg|&≍&|\asymp|\cr +⊂&|\subset|&⊃&|\supset|&≈&|\approx|\cr +⊆&|\subseteq|&⊇&|\supseteq|&≅&|\cong|\cr +⊑&|\sqsubseteq|&⊒&|\sqsupseteq|&⋈&|\bowtie|\cr +∈&|\in|&∋&|\ni|&∝&|\propto|\cr +⊢&|\vdash|&⊣&|\dashv|&⊧&|\models|\cr +⌣&|\smile|&∣&|\mid|&≐&|\doteq|\cr +⌢&|\frown|&∥&|\parallel|&⊥&|\perp|\cr +\endsymbols + +%\bigbreak +%\centerline{\it Negated relations} + +\bigbreak +\centerline{Arrows} +$$\vbox{\halign\bgroup + \qquad\hbox to10pt{\hss$#$\hss}\enspace&\hbox to75pt{#\hss}& + \qquad\hbox to10pt{\hss$#$\hss}\enspace&\hbox to85pt{#\hss}& + \qquad\hbox to10pt{\hss$#$\hss}\enspace&\hbox to80pt{#\hss}\cr +←&|\leftarrow|&\longleftarrow&|\longleftarrow|& + ↑&|\uparrow|\cr +⇐&|\Leftarrow|&\Longleftarrow&|\Longleftarrow|& + ⇑&|\Uparrow|\cr +→&|\rightarrow|&\longrightarrow&|\longrightarrow|& + ↓&|\downarrow|\cr +⇒&|\Rightarrow|&\Longrightarrow&|\Longrightarrow|& + ⇓&|\Downarrow|\cr +↔&|\leftrightarrow|&\longleftrightarrow&|\longleftrightarrow|& + ↕&|\updownarrow|\cr +⇔&|\Leftrightarrow|&\Longleftrightarrow&|\Longleftrightarrow|& + ⇕&|\Updownarrow|\cr +↦&|\mapsto|&\longmapsto&|\longmapsto|& + ↗&|\nearrow|\cr +↩&|\hookleftarrow|&\hookrightarrow&|\hookrightarrow|& + ↘&|\searrow|\cr +↼&|\leftharpoonup|&\rightharpoonup&|\rightharpoonup|& + ↙&|\swarrow|\cr +↽&|\leftharpoondown|&\rightharpoondown&|\rightharpoondown|& + ↖&|\nwarrow|\cr +⇌&|\rightleftharpoons|\cr +\enddisplay + +\bigbreak +\centerline{\it Openings} +\beginsymbols +\lbrack&|\lbrack|&⌊&|\lfloor|&⌈&|\lceil|\cr +\lbrace&|\lbrace|&⟨&|\langle|\cr +\endsymbols + +\bigbreak +\centerline{\it Closings} +\beginsymbols +\rbrack&|\rbrack|&⌋&|\rfloor|&⌉&|\rceil|\cr +\rbrace&|\rbrace|&⟩&|\rangle|\cr +\endsymbols + +\bigbreak +\centerline{\it Alternate names} +$$\vbox{\halign{\indent$\hfil#\hfil$\enspace&#\hfil\enspace& + (same as #)\hfil\cr +≠&|\ne| or |\neq|&|\not=|\cr +≤&|\le|&|\leq|\cr +≥&|\ge|&|\geq|\cr +\{&|\{|&|\lbrace|\cr +\}&|\}|&|\rbrace|\cr +→&|\to|&|\rightarrow|\cr +←&|\gets|&|\leftarrow|\cr +∋&|\owns|&|\ni|\cr +∧&|\land|&|\wedge|\cr +∨&|\lor|&|\vee|\cr +¬&|\lnot|&|\neg|\cr +%\vert&|\vert|&\|\cr +%\Vert&|\Vert|&|\|\|\cr +}}$$ + +\bigbreak +\centerline{Non-math symbols} +$$\vbox{\halign{\indent$\hfil#\hfil$\enspace&#\hfil\enspace\cr +§&|\S|\cr +¶&|\P|\cr +†&|\dag|\cr +‡&|\ddag|\cr +}}$$ + + +\bye |