summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/tui/example/listofsymbols.tex
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/doc/latex/tui/example/listofsymbols.tex')
-rw-r--r--Master/texmf-dist/doc/latex/tui/example/listofsymbols.tex32
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