added eufrak symbols;
authorwenzelm
Wed Jan 24 20:57:19 2001 +0100 (2001-01-24)
changeset 1097532ba04b00ec0
parent 10974 f23a58cf12a4
child 10976 0e7cf6f9fa29
added eufrak symbols;
renamed \<ll> to \<lless> and \<gg> to \<ggreater>;
lib/texinputs/isabellesym.sty
     1.1 --- a/lib/texinputs/isabellesym.sty	Wed Jan 24 20:56:12 2001 +0100
     1.2 +++ b/lib/texinputs/isabellesym.sty	Wed Jan 24 20:57:19 2001 +0100
     1.3 @@ -12,6 +12,7 @@
     1.4  %\usepackage[latin1]{inputenc}
     1.5  %\usepackage[only,bigsqcap]{stmaryrd}
     1.6  %\usepackage{wasysym}
     1.7 +%\usepackage{eufrak}
     1.8  
     1.9  
    1.10  % symbol definitions
    1.11 @@ -68,6 +69,58 @@
    1.12  \newcommand{\isasymx}{\isamath{\mathrm{x}}}
    1.13  \newcommand{\isasymy}{\isamath{\mathrm{y}}}
    1.14  \newcommand{\isasymz}{\isamath{\mathrm{z}}}
    1.15 +\newcommand{\isasymAA}{\isamath{\mathfrak{A}}}  %requires eufrak
    1.16 +\newcommand{\isasymBB}{\isamath{\mathfrak{B}}}  %requires eufrak
    1.17 +\newcommand{\isasymCC}{\isamath{\mathfrak{C}}}  %requires eufrak
    1.18 +\newcommand{\isasymDD}{\isamath{\mathfrak{D}}}  %requires eufrak
    1.19 +\newcommand{\isasymEE}{\isamath{\mathfrak{E}}}  %requires eufrak
    1.20 +\newcommand{\isasymFF}{\isamath{\mathfrak{F}}}  %requires eufrak
    1.21 +\newcommand{\isasymGG}{\isamath{\mathfrak{G}}}  %requires eufrak
    1.22 +\newcommand{\isasymHH}{\isamath{\mathfrak{H}}}  %requires eufrak
    1.23 +\newcommand{\isasymII}{\isamath{\mathfrak{I}}}  %requires eufrak
    1.24 +\newcommand{\isasymJJ}{\isamath{\mathfrak{J}}}  %requires eufrak
    1.25 +\newcommand{\isasymKK}{\isamath{\mathfrak{K}}}  %requires eufrak
    1.26 +\newcommand{\isasymLL}{\isamath{\mathfrak{L}}}  %requires eufrak
    1.27 +\newcommand{\isasymMM}{\isamath{\mathfrak{M}}}  %requires eufrak
    1.28 +\newcommand{\isasymNN}{\isamath{\mathfrak{N}}}  %requires eufrak
    1.29 +\newcommand{\isasymOO}{\isamath{\mathfrak{O}}}  %requires eufrak
    1.30 +\newcommand{\isasymPP}{\isamath{\mathfrak{P}}}  %requires eufrak
    1.31 +\newcommand{\isasymQQ}{\isamath{\mathfrak{Q}}}  %requires eufrak
    1.32 +\newcommand{\isasymRR}{\isamath{\mathfrak{R}}}  %requires eufrak
    1.33 +\newcommand{\isasymSS}{\isamath{\mathfrak{S}}}  %requires eufrak
    1.34 +\newcommand{\isasymTT}{\isamath{\mathfrak{T}}}  %requires eufrak
    1.35 +\newcommand{\isasymUU}{\isamath{\mathfrak{U}}}  %requires eufrak
    1.36 +\newcommand{\isasymVV}{\isamath{\mathfrak{V}}}  %requires eufrak
    1.37 +\newcommand{\isasymWW}{\isamath{\mathfrak{W}}}  %requires eufrak
    1.38 +\newcommand{\isasymXX}{\isamath{\mathfrak{X}}}  %requires eufrak
    1.39 +\newcommand{\isasymYY}{\isamath{\mathfrak{Y}}}  %requires eufrak
    1.40 +\newcommand{\isasymZZ}{\isamath{\mathfrak{Z}}}  %requires eufrak
    1.41 +\newcommand{\isasymaa}{\isamath{\mathfrak{a}}}  %requires eufrak
    1.42 +\newcommand{\isasymbb}{\isamath{\mathfrak{b}}}  %requires eufrak
    1.43 +\newcommand{\isasymcc}{\isamath{\mathfrak{c}}}  %requires eufrak
    1.44 +\newcommand{\isasymdd}{\isamath{\mathfrak{d}}}  %requires eufrak
    1.45 +\newcommand{\isasymee}{\isamath{\mathfrak{e}}}  %requires eufrak
    1.46 +\newcommand{\isasymff}{\isamath{\mathfrak{f}}}  %requires eufrak
    1.47 +\newcommand{\isasymgg}{\isamath{\mathfrak{g}}}  %requires eufrak
    1.48 +\newcommand{\isasymhh}{\isamath{\mathfrak{h}}}  %requires eufrak
    1.49 +\newcommand{\isasymii}{\isamath{\mathfrak{i}}}  %requires eufrak
    1.50 +\newcommand{\isasymjj}{\isamath{\mathfrak{j}}}  %requires eufrak
    1.51 +\newcommand{\isasymkk}{\isamath{\mathfrak{k}}}  %requires eufrak
    1.52 +\newcommand{\isasymll}{\isamath{\mathfrak{l}}}  %requires eufrak
    1.53 +\newcommand{\isasymmm}{\isamath{\mathfrak{m}}}  %requires eufrak
    1.54 +\newcommand{\isasymnn}{\isamath{\mathfrak{n}}}  %requires eufrak
    1.55 +\newcommand{\isasymoo}{\isamath{\mathfrak{o}}}  %requires eufrak
    1.56 +\newcommand{\isasympp}{\isamath{\mathfrak{p}}}  %requires eufrak
    1.57 +\newcommand{\isasymqq}{\isamath{\mathfrak{q}}}  %requires eufrak
    1.58 +\newcommand{\isasymrr}{\isamath{\mathfrak{r}}}  %requires eufrak
    1.59 +\newcommand{\isasymss}{\isamath{\mathfrak{s}}}  %requires eufrak
    1.60 +\newcommand{\isasymtt}{\isamath{\mathfrak{t}}}  %requires eufrak
    1.61 +\newcommand{\isasymuu}{\isamath{\mathfrak{u}}}  %requires eufrak
    1.62 +\newcommand{\isasymvv}{\isamath{\mathfrak{v}}}  %requires eufrak
    1.63 +\newcommand{\isasymww}{\isamath{\mathfrak{w}}}  %requires eufrak
    1.64 +\newcommand{\isasymxx}{\isamath{\mathfrak{x}}}  %requires eufrak
    1.65 +\newcommand{\isasymyy}{\isamath{\mathfrak{y}}}  %requires eufrak
    1.66 +\newcommand{\isasymzz}{\isamath{\mathfrak{z}}}  %requires eufrak
    1.67  \newcommand{\isasymalpha}{\isamath{\alpha}}
    1.68  \newcommand{\isasymbeta}{\isamath{\beta}}
    1.69  \newcommand{\isasymgamma}{\isamath{\gamma}}
    1.70 @@ -170,8 +223,8 @@
    1.71  \newcommand{\isasymsurd}{\isamath{\surd}}
    1.72  \newcommand{\isasymle}{\isamath{\le}}
    1.73  \newcommand{\isasymge}{\isamath{\ge}}
    1.74 -\newcommand{\isasymll}{\isamath{\ll}}
    1.75 -\newcommand{\isasymgg}{\isamath{\gg}}
    1.76 +\newcommand{\isasymlless}{\isamath{\ll}}
    1.77 +\newcommand{\isasymggreater}{\isamath{\gg}}
    1.78  \newcommand{\isasymlesssim}{\isamath{\lesssim}}  %requires amssymb
    1.79  \newcommand{\isasymgreatersim}{\isamath{\gtrsim}}  %requires amssymb
    1.80  \newcommand{\isasymlessapprox}{\isamath{\lessapprox}}  %requires amssymb