lib/texinputs/isabellesym.sty
changeset 11574 fd436696b1a1
parent 11571 cb15e46d9c56
child 11710 f5401162c9f0
equal deleted inserted replaced
11573:4f85af77038f 11574:fd436696b1a1
   261 \newcommand{\isasymminusplus}{\isamath{\mp}}
   261 \newcommand{\isasymminusplus}{\isamath{\mp}}
   262 \newcommand{\isasymtimes}{\isamath{\times}}
   262 \newcommand{\isasymtimes}{\isamath{\times}}
   263 \newcommand{\isasymdiv}{\isamath{\div}}
   263 \newcommand{\isasymdiv}{\isamath{\div}}
   264 \newcommand{\isasymcdot}{\isamath{\cdot}}
   264 \newcommand{\isasymcdot}{\isamath{\cdot}}
   265 \newcommand{\isasymstar}{\isamath{\star}}
   265 \newcommand{\isasymstar}{\isamath{\star}}
       
   266 \newcommand{\isasymbullet}{\boldmath\isamath{\mathchoice{\displaystyle{\cdot}}{\textstyle{\cdot}}{\scriptstyle{\bullet}}{\scriptscriptstyle{\bullet}}}}
       
   267 \newcommand{\isasymcirc}{\isamath{\circ}}
   266 \newcommand{\isasymdagger}{\isamath{\dagger}}
   268 \newcommand{\isasymdagger}{\isamath{\dagger}}
   267 \newcommand{\isasymddagger}{\isamath{\ddagger}}
   269 \newcommand{\isasymddagger}{\isamath{\ddagger}}
   268 \newcommand{\isasymcirc}{\isamath{\circ}}
       
   269 \newcommand{\isasymbullet}{\boldmath\isamath{\mathchoice{\displaystyle{\cdot}}{\textstyle{\cdot}}{\scriptstyle{\bullet}}{\scriptscriptstyle{\bullet}}}}
       
   270 \newcommand{\isasymlhd}{\isamath{\lhd}}
   270 \newcommand{\isasymlhd}{\isamath{\lhd}}
   271 \newcommand{\isasymrhd}{\isamath{\rhd}}
   271 \newcommand{\isasymrhd}{\isamath{\rhd}}
   272 \newcommand{\isasymunlhd}{\isamath{\unlhd}}
   272 \newcommand{\isasymunlhd}{\isamath{\unlhd}}
   273 \newcommand{\isasymunrhd}{\isamath{\unrhd}}
   273 \newcommand{\isasymunrhd}{\isamath{\unrhd}}
   274 \newcommand{\isasymtriangleleft}{\isamath{\triangleleft}}
   274 \newcommand{\isasymtriangleleft}{\isamath{\triangleleft}}