Commit 1ebe614a authored by Giuseppe Castagna's avatar Giuseppe Castagna
Browse files

changed the size of ..

parent c6b32498
......@@ -90,7 +90,7 @@
\newcommand{\alt}{~|~}
\newcommand{\arrow}[2]{#1\to #2}
\newcommand{\pair}[2]{#1\times #2}
\newcommand{\orecord}[1]{\pmb{\texttt{\{}}#1\ {\LARGE\textbf{..}}\pmb{\texttt{\}}}}
\newcommand{\orecord}[1]{\pmb{\texttt{\{}}#1\ {\large\textbf{..}}\pmb{\texttt{\}}}}
\newcommand{\crecord}[1]{\pmb{\texttt{\{}}#1\pmb{\texttt{\}}}}
\newcommand{\erecord}[1]{\texttt{\{}#1\texttt{\}}}
\newcommand{\record}[2]{\{#1 ,\ \_ = #2\}}
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment