summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/tui/example/listofsymbols.tex
blob: 244b5fef1e8523a08f7575c217406da956397c85 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
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