|
|
|
Viewing Preamble for
differential logic |
|
[
back to 'differential logic'
]
|
% This is the default PlanetMath preamble.
% as your knowledge of TeX increases, you
% will probably want to edit this, but it
% should be fine as is for beginners.
% Almost certainly you want these:
\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{amsfonts}
% Used for TeXing text within EPS files:
\usepackage{psfrag}
% Need this for including graphics (\includegraphics):
\usepackage{graphicx}
% For neatly defining theorems and propositions:
%\usepackage{amsthm}
% Making logically defined graphics:
%\usepackage{xypic}
% There are many more packages, add them here as you need them.
% define commands here
|
|
|
|
|
