diff options
Diffstat (limited to 'Master/texmf-dist/doc/latex/tui/example/listofsymbols.tex')
-rw-r--r-- | Master/texmf-dist/doc/latex/tui/example/listofsymbols.tex | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/latex/tui/example/listofsymbols.tex b/Master/texmf-dist/doc/latex/tui/example/listofsymbols.tex new file mode 100644 index 00000000000..244b5fef1e8 --- /dev/null +++ b/Master/texmf-dist/doc/latex/tui/example/listofsymbols.tex @@ -0,0 +1,32 @@ +% !TEX root = main.tex +% !TEX encoding = Windows Latin 1 +% !TEX TS-program = pdflatex +% +% Archivo: listofsymbols.tex (Lista de simbolos) + + +\ListofSymbols +\ +% ------------- Editar tabla ----------------------- +\begin{center} +\begin{tabular}{rl} + $\wedge$ & and \\ + $\vee$ & or \\ + $\rightarrow$ & material conditional \\ + $\leftrightarrow$ & material biconditional \\ + $\vdash$ & logical derivability \\ + $\neg$ & negation\\ + $\forall$ & universal quantification\\ + $\exists$ & existential quantification\\ + $\top$ & true\\ + $\bot$ & false\\ + $\Box$ & necessity\\ + $\diamond$ & contingency\\ +\end{tabular} +\end{center} + +% ---------------------------------------------------- + + +% Fin archivo listofsymbols.tex +\endinput
\ No newline at end of file |