lib/texinputs/isabellesym.sty
changeset 10975 32ba04b00ec0
parent 10929 ccceb5fb517d
child 11571 cb15e46d9c56
equal deleted inserted replaced
10974:f23a58cf12a4 10975:32ba04b00ec0
    10 %\usepackage{amssymb}
    10 %\usepackage{amssymb}
    11 %\usepackage[english]{babel}
    11 %\usepackage[english]{babel}
    12 %\usepackage[latin1]{inputenc}
    12 %\usepackage[latin1]{inputenc}
    13 %\usepackage[only,bigsqcap]{stmaryrd}
    13 %\usepackage[only,bigsqcap]{stmaryrd}
    14 %\usepackage{wasysym}
    14 %\usepackage{wasysym}
       
    15 %\usepackage{eufrak}
    15 
    16 
    16 
    17 
    17 % symbol definitions
    18 % symbol definitions
    18 
    19 
    19 \newcommand{\isasymA}{\isamath{\mathcal{A}}}
    20 \newcommand{\isasymA}{\isamath{\mathcal{A}}}
    66 \newcommand{\isasymv}{\isamath{\mathrm{v}}}
    67 \newcommand{\isasymv}{\isamath{\mathrm{v}}}
    67 \newcommand{\isasymw}{\isamath{\mathrm{w}}}
    68 \newcommand{\isasymw}{\isamath{\mathrm{w}}}
    68 \newcommand{\isasymx}{\isamath{\mathrm{x}}}
    69 \newcommand{\isasymx}{\isamath{\mathrm{x}}}
    69 \newcommand{\isasymy}{\isamath{\mathrm{y}}}
    70 \newcommand{\isasymy}{\isamath{\mathrm{y}}}
    70 \newcommand{\isasymz}{\isamath{\mathrm{z}}}
    71 \newcommand{\isasymz}{\isamath{\mathrm{z}}}
       
    72 \newcommand{\isasymAA}{\isamath{\mathfrak{A}}}  %requires eufrak
       
    73 \newcommand{\isasymBB}{\isamath{\mathfrak{B}}}  %requires eufrak
       
    74 \newcommand{\isasymCC}{\isamath{\mathfrak{C}}}  %requires eufrak
       
    75 \newcommand{\isasymDD}{\isamath{\mathfrak{D}}}  %requires eufrak
       
    76 \newcommand{\isasymEE}{\isamath{\mathfrak{E}}}  %requires eufrak
       
    77 \newcommand{\isasymFF}{\isamath{\mathfrak{F}}}  %requires eufrak
       
    78 \newcommand{\isasymGG}{\isamath{\mathfrak{G}}}  %requires eufrak
       
    79 \newcommand{\isasymHH}{\isamath{\mathfrak{H}}}  %requires eufrak
       
    80 \newcommand{\isasymII}{\isamath{\mathfrak{I}}}  %requires eufrak
       
    81 \newcommand{\isasymJJ}{\isamath{\mathfrak{J}}}  %requires eufrak
       
    82 \newcommand{\isasymKK}{\isamath{\mathfrak{K}}}  %requires eufrak
       
    83 \newcommand{\isasymLL}{\isamath{\mathfrak{L}}}  %requires eufrak
       
    84 \newcommand{\isasymMM}{\isamath{\mathfrak{M}}}  %requires eufrak
       
    85 \newcommand{\isasymNN}{\isamath{\mathfrak{N}}}  %requires eufrak
       
    86 \newcommand{\isasymOO}{\isamath{\mathfrak{O}}}  %requires eufrak
       
    87 \newcommand{\isasymPP}{\isamath{\mathfrak{P}}}  %requires eufrak
       
    88 \newcommand{\isasymQQ}{\isamath{\mathfrak{Q}}}  %requires eufrak
       
    89 \newcommand{\isasymRR}{\isamath{\mathfrak{R}}}  %requires eufrak
       
    90 \newcommand{\isasymSS}{\isamath{\mathfrak{S}}}  %requires eufrak
       
    91 \newcommand{\isasymTT}{\isamath{\mathfrak{T}}}  %requires eufrak
       
    92 \newcommand{\isasymUU}{\isamath{\mathfrak{U}}}  %requires eufrak
       
    93 \newcommand{\isasymVV}{\isamath{\mathfrak{V}}}  %requires eufrak
       
    94 \newcommand{\isasymWW}{\isamath{\mathfrak{W}}}  %requires eufrak
       
    95 \newcommand{\isasymXX}{\isamath{\mathfrak{X}}}  %requires eufrak
       
    96 \newcommand{\isasymYY}{\isamath{\mathfrak{Y}}}  %requires eufrak
       
    97 \newcommand{\isasymZZ}{\isamath{\mathfrak{Z}}}  %requires eufrak
       
    98 \newcommand{\isasymaa}{\isamath{\mathfrak{a}}}  %requires eufrak
       
    99 \newcommand{\isasymbb}{\isamath{\mathfrak{b}}}  %requires eufrak
       
   100 \newcommand{\isasymcc}{\isamath{\mathfrak{c}}}  %requires eufrak
       
   101 \newcommand{\isasymdd}{\isamath{\mathfrak{d}}}  %requires eufrak
       
   102 \newcommand{\isasymee}{\isamath{\mathfrak{e}}}  %requires eufrak
       
   103 \newcommand{\isasymff}{\isamath{\mathfrak{f}}}  %requires eufrak
       
   104 \newcommand{\isasymgg}{\isamath{\mathfrak{g}}}  %requires eufrak
       
   105 \newcommand{\isasymhh}{\isamath{\mathfrak{h}}}  %requires eufrak
       
   106 \newcommand{\isasymii}{\isamath{\mathfrak{i}}}  %requires eufrak
       
   107 \newcommand{\isasymjj}{\isamath{\mathfrak{j}}}  %requires eufrak
       
   108 \newcommand{\isasymkk}{\isamath{\mathfrak{k}}}  %requires eufrak
       
   109 \newcommand{\isasymll}{\isamath{\mathfrak{l}}}  %requires eufrak
       
   110 \newcommand{\isasymmm}{\isamath{\mathfrak{m}}}  %requires eufrak
       
   111 \newcommand{\isasymnn}{\isamath{\mathfrak{n}}}  %requires eufrak
       
   112 \newcommand{\isasymoo}{\isamath{\mathfrak{o}}}  %requires eufrak
       
   113 \newcommand{\isasympp}{\isamath{\mathfrak{p}}}  %requires eufrak
       
   114 \newcommand{\isasymqq}{\isamath{\mathfrak{q}}}  %requires eufrak
       
   115 \newcommand{\isasymrr}{\isamath{\mathfrak{r}}}  %requires eufrak
       
   116 \newcommand{\isasymss}{\isamath{\mathfrak{s}}}  %requires eufrak
       
   117 \newcommand{\isasymtt}{\isamath{\mathfrak{t}}}  %requires eufrak
       
   118 \newcommand{\isasymuu}{\isamath{\mathfrak{u}}}  %requires eufrak
       
   119 \newcommand{\isasymvv}{\isamath{\mathfrak{v}}}  %requires eufrak
       
   120 \newcommand{\isasymww}{\isamath{\mathfrak{w}}}  %requires eufrak
       
   121 \newcommand{\isasymxx}{\isamath{\mathfrak{x}}}  %requires eufrak
       
   122 \newcommand{\isasymyy}{\isamath{\mathfrak{y}}}  %requires eufrak
       
   123 \newcommand{\isasymzz}{\isamath{\mathfrak{z}}}  %requires eufrak
    71 \newcommand{\isasymalpha}{\isamath{\alpha}}
   124 \newcommand{\isasymalpha}{\isamath{\alpha}}
    72 \newcommand{\isasymbeta}{\isamath{\beta}}
   125 \newcommand{\isasymbeta}{\isamath{\beta}}
    73 \newcommand{\isasymgamma}{\isamath{\gamma}}
   126 \newcommand{\isasymgamma}{\isamath{\gamma}}
    74 \newcommand{\isasymdelta}{\isamath{\delta}}
   127 \newcommand{\isasymdelta}{\isamath{\delta}}
    75 \newcommand{\isasymepsilon}{\isamath{\varepsilon}}
   128 \newcommand{\isasymepsilon}{\isamath{\varepsilon}}
   168 \newcommand{\isasymTurnstile}{\isamath{\models}}
   221 \newcommand{\isasymTurnstile}{\isamath{\models}}
   169 \newcommand{\isasymstileturn}{\isamath{\dashv}}
   222 \newcommand{\isasymstileturn}{\isamath{\dashv}}
   170 \newcommand{\isasymsurd}{\isamath{\surd}}
   223 \newcommand{\isasymsurd}{\isamath{\surd}}
   171 \newcommand{\isasymle}{\isamath{\le}}
   224 \newcommand{\isasymle}{\isamath{\le}}
   172 \newcommand{\isasymge}{\isamath{\ge}}
   225 \newcommand{\isasymge}{\isamath{\ge}}
   173 \newcommand{\isasymll}{\isamath{\ll}}
   226 \newcommand{\isasymlless}{\isamath{\ll}}
   174 \newcommand{\isasymgg}{\isamath{\gg}}
   227 \newcommand{\isasymggreater}{\isamath{\gg}}
   175 \newcommand{\isasymlesssim}{\isamath{\lesssim}}  %requires amssymb
   228 \newcommand{\isasymlesssim}{\isamath{\lesssim}}  %requires amssymb
   176 \newcommand{\isasymgreatersim}{\isamath{\gtrsim}}  %requires amssymb
   229 \newcommand{\isasymgreatersim}{\isamath{\gtrsim}}  %requires amssymb
   177 \newcommand{\isasymlessapprox}{\isamath{\lessapprox}}  %requires amssymb
   230 \newcommand{\isasymlessapprox}{\isamath{\lessapprox}}  %requires amssymb
   178 \newcommand{\isasymgreaterapprox}{\isamath{\gtrapprox}}  %requires amssymb
   231 \newcommand{\isasymgreaterapprox}{\isamath{\gtrapprox}}  %requires amssymb
   179 \newcommand{\isasymin}{\isamath{\in}}
   232 \newcommand{\isasymin}{\isamath{\in}}